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

Re: [Scheme-reports] new wording for eqv?



On Fri, 24 Aug 2012 00:37:49 -0400, John Cowan <cowan@x> said:

    gls@x scripsit:

        To: KMP@x
        Subject: new wording for eqv?
        From: gls@x
        Date: Fri, 17 Jun 88 18:20:58 EDT
        Cc: JAR@x, willc%tekchips.tek.com@x,
            KMP@x, rrrs-authors@x
        In-Reply-To: Kent M Pitman's message of Fri, 17 Jun 88 16:09 EDT
            880617160937.3.KMP@x>
    
           Date: Fri, 17 Jun 88 16:09 EDT
           From: Kent M Pitman <KMP@x>
    
           I observe as an aside also that your description is somewhat
           meta-circular, though perhaps not enough to worry about here. You
           effectively begin by saying that EQV? computes whether two things
           are distinct (for which i read "not the same"), and yet the
           terminology uses the word "the same" all over the place.
    
        Plus ca change, plus c'est la meme chose.

    24 years later, still going round.  Plus ça change, plus c'est la même chose.

Et nil novus sub soli.

By the way, from "the same" author:
<a href="http://www.nhplace.com/kent/PS/EQUAL.html";>Kent Pitman, "P.S.: The Best of Intentions.  EQUAL Rights---and Wrongs---in Lisp"</a>

---Vassil.


-- 
Vassil Nikolov | Васил Николов | <vnikolov@x>

"Be careful how you fix what you don't understand."  (Brooks 2010, 185)

_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports