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
Received on Tue Nov 14 2006 - 16:41:48 UTC