[racket] A primitive more fundamental than a continuation?

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sun Dec 2 15:54:10 EST 2012


The phrase 'evaluation context' has been in the literature since 1986 for just this purpose. I know, I coined it. 




On Dec 2, 2012, at 2:25 PM, Hendrik Boom wrote:

> On Sun, Dec 02, 2012 at 09:29:34AM -0500, Prabhakar Ragde wrote:
>> Matthias wrote:
>> 
>>>> The documentation (See Guide s10.3) says "A continuation is a value
>>>> that encapsulates a piece of an expression context"
>>> 
>>> Someone should submit a doc bug report to the Guile people. The
>>> 'expression' should be replaced (or supplemented) with 'evaluation'.
>> 
>> Not "Guile", "Guide". This is in the Racket Guide, first sentence of
>> 10.3 (Continuations). The same phrase ("expression context") appears
>> in the Racket Reference, 1.1.1 (Evaluation Model / Sub-expression
>> Evaluation and Continuations). "Evaluation context" definitely
>> resonates more with those who understand the formal semantics, but I
>> am not sure it makes much difference to someone trying to learn from
>> the more informal Guide, which is vague about the evaluation model.
>> --PR
> 
> Maybe the word should just be 'evaluation', without mentioning a 'context'.
> 
> ..encapsulates a piece of evaluation.
> 
> -- hendrik
>> ____________________
>> Racket Users list:
>> http://lists.racket-lang.org/users
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users



Posted on the users mailing list.