[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

> For the sake of my reputation, I'd like to ensure that if my program
> produces the wrong answer on implementation FOO, I can pass the buck and
> say "that's because FOO didn't properly implement the standard."

Your reputation can be preserved by avoiding memoizing inexacts on implementations that do not implement IEEE inexacts, perhaps by using cond-expand, and saying "that's because the R7RS does not provide the guarantees needed to do this". I understand that this is a significant restriction.

I would also note that number->string and string->number are defined in terms of eqv?, so be careful if read-write equivalence is important to you too.



Scheme-reports mailing list