search

hasura / eff

🚧 a work in progress effect system for Haskell 🚧
ISC License
551 stars 18 forks source link

GHC status? #15

Open hasufell opened 3 years ago

hasufell commented 3 years ago

I see the proposal is merged: https://github.com/ghc-proposals/ghc-proposals/pull/313

But I can't find a PR at the ghc issue tracker. What's the status of the implementation?

arrowd commented 2 years ago

The implementation started by the proposal author is there: https://gitlab.haskell.org/lexi.lambda/ghc/-/tree/first-class-continuations

I dropped them a mail asking about project's status, but didn't get a reply.

theGhostJW commented 2 years ago

This might shed some light: Unresolved challenges of scoped effects https://www.twitch.tv/lexi_lambda/video/1163853841

Chan-Siu-Man commented 2 years ago

Would latent effects solve the challenges?

lexi-lambda commented 2 years ago

Would latent effects solve the challenges?

I’m afraid not. To quote a comment I left about it in an r/haskell thread:

I finally got around to reading this. It’s a somewhat interesting paper, but it appears to fundamentally rely upon the same “state capturing” approach that MonadBaseControl, polysemy, and fused-effects use. This is precisely the source of all the problems I mentioned in the stream, and indeed, if you look at the authors’ reference implementation, it does not include any effects that require higher-order control, such as NonDet or Coroutine. Therefore, unfortunately, I don’t think it addresses any of the relevant issues at all.