[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] Procedural equivalence: the last debate
- To: John Cowan <cowan@x>
- Subject: Re: [Scheme-reports] Procedural equivalence: the last debate
- From: will@x
- Date: Thu, 6 Jun 2013 10:06:50 -0400 (EDT)
- Cc: will@x, scheme-reports <scheme-reports@x>
- In-reply-to: <4367620.2327151370527599005.JavaMail.root@zimbra>
John Cowan quoting me:
> > That example was *not* intended to say eq? and eqv? must behave
> > the same on procedures. How do I know? Because Jonathan Rees
> > and I worked together on this.
>
> I see that now. But as a general point, standards (like other legal
> codes) don't mean what their authors mean them to mean. What the
> author says has a peculiar interest, but not a peculiar authority.
Agreed. My digression wouldn't have been necessary if you had
based your interpretation on what prior standards actually said,
instead of trying to infer intent from a couple of examples.
Once you move into the land of intent, authors' intentions become
relevant.
Will
_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports