Re: [Scheme-reports] Formal Comment: R7RS 'eqv?' cannot be used for reliable memoization

[Alan Watson <alan@x>]

> 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@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports