[r6rs-discuss] [Formal] Scheme should not be changed to be case sensitive.

[John Cowan]

Abdulaziz Ghuloum scripsit:

> >Isn't it the case in Scheme that, for all singleton procedures P and
> >all values V1 and V2 that
> >
> >   (eq? V1 V2) => (eq? (P V1) (P V2))
> 
> What's a singleton procedure?  But regardless of the definifion, the 
> above statement only holds for some specific values of P, V1, and V2.

I take it to mean a procedure that accepts a single argument and
returns a single value.  

An obvious example is a stateful P;  if P is "multiply by a random
number", then the right side is clearly false.

-- 
John Cowan  cowan at ccil.org  http://ccil.org/~cowan
In computer science, we stand on each other's feet.
        --Brian K. Reid