Re: [Scheme-reports] Formal Comment: R7RS 'eqv?' cannot be used for reliable memoization Alan Watson 21 Nov 2012 16:31 UTC

> 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.

Regards,

Alan

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports