[r6rs-discuss] [Formal] Enumeration types should be reified

From: John Cowan <cowan>
Date: Mon, 11 Jun 2007 09:17:53 -0400

Jed Davis scripsit:

> These objections would not apply to equivalencing any two enumeration
> types representing the same *sequence* of symbols (which would be
> sufficient to make make-enumeration referentially transparent, I think,
> for whatever that's worth).

It still makes the bit-vector implementation unnecessarily annoying,
though; either you need to implement hash consing, or you end up
applying "equal?" rather than "eqv?" on the underlying lists of symbols.

-- 
Clear?  Huh!  Why a four-year-old child         John Cowan
could understand this report.  Run out          cowan at ccil.org
and find me a four-year-old child.  I           http://www.ccil.org/~cowan
can't make head or tail out of it.
        --Rufus T. Firefly on government reports
Received on Mon Jun 11 2007 - 09:17:53 UTC

This archive was generated by hypermail 2.3.0 : Wed Oct 23 2024 - 09:15:01 UTC