Re: [Scheme-reports] Comments on draft 6 about call/cc Alex Shinn (01 Mar 2012 12:40 UTC)
(missing)
[Scheme-reports] Fwd: Comments on draft 6 about call/cc Alex Shinn (02 Mar 2012 11:42 UTC)
Re: [Scheme-reports] Comments on draft 6 about call/cc Manuel Simoni (01 Mar 2012 13:08 UTC)
Re: [Scheme-reports] Comments on draft 6 about call/cc Alex Shinn (01 Mar 2012 13:20 UTC)
Re: [Scheme-reports] Comments on draft 6 about call/cc Alaric Snell-Pym (01 Mar 2012 16:38 UTC)

Re: [Scheme-reports] Comments on draft 6 about call/cc Alex Shinn 01 Mar 2012 13:19 UTC

On Thu, Mar 1, 2012 at 8:07 AM, Manuel Simoni <msimoni@gmail.com> wrote:
> 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/

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
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports