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.
Adam
On Thu, 12 Mar 2020 at 19:05, Marc Feeley feeley@iro.umontreal.ca wrote:
Yes delimited continuations is on my wishlist too!
Marc
On Mar 11, 2020, at 2:32 AM, Faré fahree@gmail.com wrote:
I don't know that anyone is interested in implementing it, but I would be grateful if Gambit implemented delimited control, with continuation marks and delimited parameter bindings. Then, the value of a parameter potentially depends not just on "the" continuation, but on the list of currently active continuation frames, which can grow and shrink non-monotonically due to delimited control operators. http://okmij.org/ftp/Computation/dynamic-binding.html
—♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics•
Afficher les réponses par date
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
-
Adam -
Faré