Re: [Scheme-reports] Formal Comment: R7RS 'eqv?' cannot be used for reliable memoization John Cowan (13 Nov 2012 06:33 UTC)

Re: [Scheme-reports] Formal Comment: R7RS 'eqv?' cannot be used for reliable memoization John Cowan 13 Nov 2012 06:29 UTC

Alan Watson scripsit:

> However, I'm not losing too much sleep. I suspect that implementations
> that have signed zero but are not IEEE will implement a fast native
> eqv? that behaves as (eqv? -0.0 +0.0) => #f and a slower R7RS eqv? that
> behaves as (eqv? -0.0 +0.0) => #t.

Indeed.  Or simply violate the letter of the R7RS.

> The R7RS library system makes this quite easy to implement this. For
> this, and of course for much else, the editors should be highly
> commended.

Thank you.  Credit should go to the entire WG, who made essentially all
the decisions other than presentational ones.  I say "essentially" because
the editors occasionally went beyond the letter of votes where the intent
seemed sufficiently clear.

--
Dream projects long deferred             John Cowan <cowan@ccil.org>
usually bite the wax tadpole.            http://www.ccil.org/~cowan
        --James Lileks

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