[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Scheme-reports] Procedural equivalence: the last debate

John Cowan <cowan@x> writes:

> The problem with that is that "pointer" is an implementation-level
> notion, not a user-level notion.  From a user perspective, `eq?` is
> a fast version of `eqv?` that you can safely use on certain types
> and not others.  While location tags formalize `eqv?`, there is no
> counterpart for `eq?` at all.  Its behavior is horridly arbitrary, about
> the furthest thing possible from that famous hard, gem-like beauty that
> Scheme is supposed to have.

Why can location tags not be used to formalize eq? as well?

Scheme-reports mailing list