[Top][All Lists]

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

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

From: Miroslav Silovic
Subject: Re: Procedure proposal: call-with-escape-procedure
Date: 13 Mar 2001 19:58:06 +0100

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?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]