4 ms·

Delimited continuations have been implemented in the de-facto standard Haskell runtime system, the GHC runtime system [0]. The goal was to make effect systems m

Delimited continuations have been implemented in the de-facto standard Haskell runtime system, the GHC runtime system [0]. The goal was to make effect systems more performant [1], but I believe that work has stalled due to the maintainer shifting priorities. [0]: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0313-delimited-continuation-primops.rst https://github.com/ghc-proposals/ghc-proposals/blob/master/p... [1]: https://blog.poisson.chat/posts/2023-01-02-del-cont-examples.html https://blog.poisson.chat/posts/2023-01-02-del-cont-examples...

thdhhghgbhy 1y ago
Well the delimited continuation primops are there in ghc for anyone to use. But even with the proliferation of effects libraries in Haskell, I haven't heard a whisper of any of them using the delimited continuation primitives in ghc. There was one very expwrimental extension to Bluefin from memory, but that's it.
- tome 1y ago
  That's Bluefin Algae, which isn't as such an extension to Bluefin, but a library that wraps delimited continuations in a Bluefin-style API. As far as I know, no one has really used it yet. [1] https://hackage.haskell.org/package/bluefin-algae https://hackage.haskell.org/package/bluefin-algae