I didn't figure all the details about usual algebraic effects and we already have bidirectional ones 😅

Trying to mimic the control flow of the examples in the paper using delimited continuations I found out a cool pattern:

Inside the prompt handler you can re-install the prompt and this way you get a "multi-shot prompt".

Working with continuations I wanted it so many times and only now I realized how to implement it :blobcatfacepalm:

https://www.cs.cornell.edu/andru/papers/ufo/

#scheme #lisp #cs #cornell