[gambit-list] Efficient support for delimited continuations?

Newcombe, Chris cnewcom at amazon.com
Wed Dec 21 20:35:00 EST 2005


Marc,

Does (or will) Gambit v4 have native support for shift/reset or splitter/abort/call/pc?
And if so, can the resulting partial continuations be serialized?

I read your paper on 'A Better API for First-Class Continuations" (http://repository.readscheme.org/ftp/papers/sw2001/feeley.pdf), and I see that Gambit v4 does have continuation-graft.
But that paper doesn't mention partial continuations.  

Rationale: I am eager to make use of Oleg Kiselyov's 'Zipper In Scheme': http://okmij.org/ftp/Scheme/zipper-in-scheme.txt

Interestingly, at the end of that article, Oleg says "It doesn't matter which particular delimited continuation operator (shift, control, shift0, splitter, cupto, etc) is supported -- all of them are equally expressible", and cites a paper by Chung-chieh Shan which I haven't read yet.  However, Christian Queinnec seems to make a good case that his own splitter operator is less dangerous/confusing than shift/reset when nested: http://www-spi.lip6.fr/~queinnec/PDF/contlib.pdf

There's a discussion thread here: http://lambda-the-ultimate.org/node/view/606

Thanks, 

Chris



More information about the Gambit-list mailing list