[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