Re: Procedure proposal: call-with-escape-procedure

[Miroslav Silovic]

Marius Vollmer <address@hidden> writes:

> Yes.  I think there is no way to make the guarantee that control will
> return from within the language, but this guarantee can be provided by
> the writer of the code that uses call/cc or call/ec.  Using call/ec
> expresses the guarantee that control will not return, while using
> call/cc at least gives the hint that control is likely to return.
> 
> One can of course use call/cc and not let the control return, but one
> shouldn't.  That's the main reason for providing call/ec: so that the
> programmer can better express what he wants to achieve.  What he wants
> to achieve matters to the rest of the system, so this expressibility
> is important to provide in the system.

Sounds fair enough. :)

-- 
How to eff the ineffable?