[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Scheme-reports] Fwd: Comments on draft 6 about call/cc

Hi Oleg,

On Mon 20 Feb 2012 08:36, Alex Shinn <alexshinn@x> writes:

> My bigger suggestion is to remove call/cc and dynamic-wind from the
> base library into an optional feature.

It would be difficult to do this without a suitably powerful
replacement.  Imagine the headlines: "Scheme backtracks on call/cc" ;-)

> I'd like to add the note inviting the discussion for more appropriate
> abstractions to supersede call/cc -- such generators, for example.

Why generators, when delimited continuations can implement them

It seems to me that -F- is a worthy successor to call/cc [*].


[*] To implement a delimited call/cc on top of prompt and abort, you
would need an additional operator that captures a partial continuation,
but without unwinding the prompt.  I understand that Racket does this.

Scheme-reports mailing list