Re: [Scheme-reports] Procedural equivalence: the last debate taylanbayirli@gmail.com (09 Jun 2013 14:23 UTC)

Re: [Scheme-reports] Procedural equivalence: the last debate taylanbayirli@gmail.com 09 Jun 2013 14:23 UTC

John Cowan <cowan@mercury.ccil.org> 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
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports