[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] Fwd: Comments on draft 6 about call/cc
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