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

From: David Van Horn <dvanhorn>
Date: Tue Nov 14 16:59:35 2006

John Cowan wrote:
> 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.

The implication is clearly false with P being (lambda (x) 2). I'm
confused as to what Thomas Lord's point was with this assertion.

David
Received on Tue Nov 14 2006 - 16:59:30 UTC