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• http://fare.tunes.org We could have an obfuscated-scheme contest, but if call/cc and macros are allowed, that would be like using nuclear bombs to hunt bunnyrabbits... — Ray Dillinger
On Tue, Mar 10, 2020 at 9:19 PM Marc Feeley feeley@iro.umontreal.ca wrote:
On Mar 10, 2020, at 6:41 PM, Jörg F. Wittenberger Joerg.Wittenberger@softeyes.net wrote:
;; YMMV, but I find this not exactly intuitive.
On the contrary I find it very intuitive! I give an example of why this semantics is what you want in the paper “A Better API for First-Class Continuations” section 1.3 (https://www.researchgate.net/publication/2405339_A_Better_API_for_First-Clas...).
Marc
Gambit-list mailing list Gambit-list@iro.umontreal.ca https://mailman.iro.umontreal.ca/cgi-bin/mailman/listinfo/gambit-list