[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Scheme-reports] Problems with the 9th ballot
- To: scheme-reports@x
- Subject: [Scheme-reports] Problems with the 9th ballot
- From: Mark H Weaver <mhw@x>
- Date: Mon, 26 Nov 2012 11:26:52 -0500
The 9th ballot was clearly written by the (only) member of the working
group who wants 'eqv?' to be defined in terms of '='. Ballots should
present the options fairly, and not be abused to present a
heavily-biased summary of the issues from a minority perspective.
The ballot states: <http://trac.sacrideo.us/wg/wiki/WG1Ballot>
R2RS was purely mathematical, defining 'eqv?' on numbers in terms of
'='. R3RS defined a simple operational equivalence by distinguishing
exact and inexact.
This history is a crock.
Both the RRRS and R3RS make it crystal clear in their primary
definitions of 'eqv?' that it is based on operational equivalence, and
they both provide the explicit guarantee that 'eqv?' will return #f if
the objects are distinguishable.
The R3RS makes it clear that the suggested rule for numeric
representations at the time (involving = and exactness) is merely an
"interpretation" of the definition of "operational equivalence".
I'd invite everyone to read those reports' definitions of 'eqv?' to see
For another history, see http://trac.sacrideo.us/wg/ticket/477
Scheme-reports mailing list