On Tue, Mar 17, 2020 at 8:42 AM Adam adam.mlmb@gmail.com wrote:
Hi Marc and Fare,
What's the fuss about delimited continuations?
Why do I want to use this. How will it improve some people's thing. Which problems that I have now, will I not have with them.
Delimited continuations are nice small composable chunks of code that you can cut and stitch back in new ways, when undelimited continuations are big and bulky "everything else" and don't compose well. You can try to implement delimited control on top of undelimited control, but it has to be a global thing and/or you may leak a lot of resources. Delimited continuations can play much nicer with resource guards (e.g. try/catch, with-open-file), since it is clear when you do or don't cross a protected extent border. You can save and ship them across such extents.
Nice thread with pointers to delimited control information: https://twitter.com/d_christiansen/status/1240129033247080448
See also many things that Andy Wingo wrote about delimited control, how it interacts with threads, etc., on his blog. https://wingolog.org/archives/2010/02/26/guile-and-delimited-continuations https://wingolog.org/archives/2014/01/12/a-continuation-passing-style-interm... https://wingolog.org/archives/2017/06/27/growing-fibers
LtU: http://lambda-the-ultimate.org/node/4313
—♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics• http://fare.tunes.org Be who you are and say what you feel, because those who mind don't matter and those who matter don't mind. — Dr. Seuss