control flow using resumable exceptions
This Tweet was deleted by the Tweet author. Learn more
Conversation
oh wait this is algebraic effects and I actually want this
1
13
You mean something like Common Lisp conditions & restarts? gigamonkeys.com/book/beyond-ex
1
3
Yeah, if I understand correctly, I think they are extremely closely related. Like, maybe you could implement an algebraic effect system using common Lisp's conditions and restarts? I don't know the relationship precisely though.
1
No specific reference, but I believe that it is well know that you can implement delimited continuations from continuations + state, and that’s what you need to do the fancier effect system things.
2