[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] Formal Comment: R7RS 'eqv?' cannot be used for reliable memoization
Alex Shinn <alexshinn@x> writes:
> On these two issues I just want it to be possible to
> have an ideal Scheme implementation where characters
> are really parts of scripts and numbers are really
> mathematical values.
I agree that a Scheme implementation without signed zeroes should be
permitted by the standard. An 'eqv?' based on operational equivalence
does not conflict with that. In your ideal Scheme implementation, -0.0
and +0.0 would be operationally equivalent, and thus (eqv? +0.0 -0.0)
would justifiably be #true, and indeed that would follow from my
What I want, indeed what I *require*, is the ability to memoize
procedures without having to worry that my code might produce the wrong
answers on some future implementation of R7RS.
Therefore, it appears likely that I will not be able to use R7RS.
Scheme-reports mailing list