[gambit-list] Delimited continuations

Faré fare at tunes.org
Wed Mar 18 01:35:55 EDT 2020


On Tue, Mar 17, 2020 at 8:42 AM Adam <adam.mlmb at 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-intermediate-language-for-guile
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




More information about the Gambit-list mailing list