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

[Andy Wingo <wingo@x>]

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
trivially?

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

Andy

[*] 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.
-- 
http://wingolog.org/

_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports