[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] Equality of records
-----BEGIN PGP SIGNED MESSAGE-----
On 03/01/2012 10:38 AM, John Cowan wrote:
> Draft 6 requires that `equal?` recursively descend into records. However,
> the WG did not explicitly vote for this feature, nor is it mentioned
> in SRFI 9, which is our source document for records. In addition,
> R6RS explicitly forbids it, requiring that all objects except pairs,
> vectors, strings, and bytevectors be compared with `eqv?`.
I think that R6 is logically inconsistent in this point, and that
the prohibition is probably due to an oversight rather than due
to a decision.
If it requires pairs, vectors, and strings. to be recursively compared,
then it is not sensible to require records *not* to be recursively
The obvious implementation technique for any problem you'd use
records for, in fact, if you don't have records, *NECESSARILY*
uses one of the types that 'equal?' recursively compares.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
-----END PGP SIGNATURE-----
Scheme-reports mailing list