Re: [Scheme-reports] Comments on draft 6 about call/cc
Manuel Simoni 01 Mar 2012 13:07 UTC
On Thu, Mar 1, 2012 at 1:37 PM, Alex Shinn <alexshinn@gmail.com> wrote:
> As a circular example, delimited continuations can't
> implement the call/cc form. Even if all practical uses
> of call/cc can be replaced with delimited continuations,
> existing code would need to be re-written.
The paper "A monadic framework for delimited continuations" models
call/cc using delimited continuations by pushing a toplevel prompt
before the execution of the program (section 2.2)
http://research.microsoft.com/en-us/um/people/simonpj/papers/control/
-- Manuel
_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports