On Thu, Mar 1, 2012 at 8:07 AM, Manuel Simoni <[email protected]> wrote: > On Thu, Mar 1, 2012 at 1:37 PM, Alex Shinn <[email protected]> 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/
Yes, I mentioned earlier that you can use the implementation of delimited continuations to implement call/cc. The problem is it can't be done portably. -- Alex _______________________________________________ Scheme-reports mailing list [email protected] http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
