Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> > One can think of a continuation is an abstract object representing the
> > remainder of a computation. We normally think about functions
> > returning values, with continuations we pass the value to the
> > remainder of the computation.
>
> Oh, are y
One can think of a continuation is an abstract object representing the
remainder of a computation. We normally think about functions
returning values, with continuations we pass the value to the
remainder of the computation.
Oh, are you trying to say that in order to pass some value to the
con
Hi Ralf,
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> I am not so sure that I understand what a "continuation" is. I've
> already read some text about that, but I seem not to get the
> difference to Aldor's Generator concept. Maybe somebody can help. How
> would a continuation in Aldor look like a
On 07/08/2007 01:39 PM, [EMAIL PROTECTED] wrote:
Eh? I sent you the reference to the book so that you could see an
example of what I consider modern literate programming practice that
has been published as a textbook.
Sorry, did you address that to me? Since I don't have that book and
cannot b
> The discussion of provisos has ALWAYS been an algebraic discussion
> and always related to spad-level programming. I'd like to have a
> proviso domain (or extend the SUCHTHAT domain) so we could form a
> continuation/future/closure over all or a portion of a computation
> and later evaluate it.
