[plt-scheme] Re: pathetic t-shirt puns dep't.

No, that's not what E is.

Now read the book. (-:

On Sat, Sep 12, 2009 at 7:29 AM, Michael Schuerig <michael at schuerig.de> wrote:
> On Saturday 12 September 2009, Grant Rettke wrote:
>> On Fri, Sep 11, 2009 at 7:58 PM, Shriram Krishnamurthi
> <sk at cs.brown.edu> wrote:
>> > Did you try clicking on the magnifying glass icon?
>>
>> Yes. I should have said "What does E[(lambda_x.M) V] -> E[M[V/x]]"
>>  mean?
>
> Without having read the PLT Redex book (it's still lying here
> untouched), I venture to guess that the expression is a clause of the
> valuation function E for application (of an application) to value
> arguments. Specifically, the arguments are not expressions. In other
> words, the clause states how functions are called in a call-by-value
> languages.
>
> In still other words, it might be called a "strict" language, however,
> I haven't learned enough yet to be sure whether CBV and strictness
> always coincide.
>
> Michael
>
> --
> Michael Schuerig
> mailto:michael at schuerig.de
> http://www.schuerig.de/michael/
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>