Re: [Scheme-reports] Formal Comment: R7RS 'eqv?' cannot be used for reliable memoization
John Cowan 20 Nov 2012 22:47 UTC
Mark H Weaver scripsit:
> 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.
1) So use a memoization comparison function that handles NaN, negative
zero, and the infinities specially.
2) You can't be sure that an R7RS implementation will provide these
anyway.
3) You can't be sure that an R7RS implementation will prove *any*
inexact numbers.
> Therefore, it appears likely that I will not be able to use R7RS.
So be it.
--
John Cowan http://ccil.org/~cowan cowan@ccil.org
SAXParserFactory [is] a hideous, evil monstrosity of a class that should
be hung, shot, beheaded, drawn and quartered, burned at the stake,
buried in unconsecrated ground, dug up, cremated, and the ashes tossed
in the Tiber while the complete cast of Wicked sings "Ding dong, the
witch is dead." --Elliotte Rusty Harold on xml-dev
_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports