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