[r6rs-discuss] [Formal] Scheme should not be changed to be case
cowan at ccil.org
Tue Nov 14 16:41:48 EST 2006
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
More information about the r6rs-discuss