ramin_hal9001, 1 year ago

@rml
> "#ghc actually implements delimited continuations as slices of the runtime stack now, similarly to #guile

Yes, I know, GHC and Guile are both amazing! I had run across the delimited control primitives in the Guile manual not long ago: https://www.gnu.org/software/guile/manual/html_node/Prompt-Primitives.html

I had also heard Alexis King give a presentation, who if you don't know is a brilliant young computer scientists who implemented an S-Expression based embedded #Haskell in #Racket called "Hackett" , who was talking about using delimited continuations to improve the performance of Free Monads and the "Monadic Effects" libraries built on top of them. She mentioned that the GHC runtime already provides delimited control primitives.
https://www.youtube.com/watch?v=0jI-AlWEwYI

Incidentally, here is Alexis King's StrangeLoop presentation on Hackett: https://thestrangeloop.com/2018/hackett-a-metaprogrammable-haskell.html