[plt-scheme] Re: Scheme workshop survey

You are pressing things, I think. It's a matter of notation.
I am quite happy with:
(car (cons <a> <b>)) --> $<a>
where $<a> means "the value of <a>".
Jos

----- Original Message ----- 
From: "Shriram Krishnamurthi" <sk at cs.brown.edu>
To: "Richard Cleis" <rcleis at me.com>
Cc: "PLT Scheme" <plt-scheme at list.cs.brown.edu>
Sent: Sunday, October 19, 2008 11:45 PM
Subject: Re: [plt-scheme] Re: Scheme workshop survey


> On Sun, Oct 19, 2008 at 4:31 PM, Richard Cleis <rcleis at me.com> wrote:
>> Does the following progression make sense, by ordinary standards of
>> Ameringlish?
>>
>> (car '((a b c) x y z)) is '(a b c)
>>
>> The value of (car '((a b c) x y z)) is (a b c)
> 
> Not to me.
> 
>  (a b c)
> 
> is an expression, not a value.  It may also be the print
> representation chosen by some particular implementation for some
> particular value, but then so is
> 
>  /---+---+---\
>  | a | b | c |
>  \---+---+---/
> 
> (Do you see my point?)
> 
> Shriram
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>