GHC status?

[hasufell]

I see the proposal is merged: ghc-proposals/ghc-proposals#313

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

[arrowd]

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]

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

[Chan-Siu-Man]

Would latent effects solve the challenges?

[lexi-lambda]

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.