-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On 07/16/2012 07:40 AM, Jeff Read wrote:
> On Jul 16, 2012 10:31 AM, "Ray Dillinger" <b...@sonic.net> wrote:
>> Um? Will, did you misspeak here or is there something very
>> fundamental that I'm not understanding? As I see it the same
>> vector of code ought to produce the same behavior when run.
>> Different nonempty closures over the same procedure are unique,
>> of course, but the procedure itself?
> Different nonempty closures over the same procedure are considered
> to behave differently, therefore, they cannot be eqv?.
Right. That's what I said. But in the case where we're not
talking about closures, I would definitely consider procedures
consisting of the same vector of code to have the same value.
(eqv? + +) => #t
seems fine to me. (I pick on + as a well-known purely-
functional procedure which cannot form closures, just to
make the case clear).
Bear
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
iQEcBAEBAgAGBQJQBCxwAAoJEAOzWkqOibfNn5AIAKUiY/nwmJ3s9sPiNEBz52X1
EDnmBTe9uYtyMByxp0K9mO5NAGeddz8eQG9/eZLMGHHWb2EnN+9lsZVCA7dKYJDa
3VgPB+3zkU2l/zgaa1HTwB3P2qJ0AYB3FbRN3yV+Q6GLa+SSJfCLuhsbo/c61RWW
+z5Tso511U4haEzbBaXnCrrHkE971Ks7wBOtqQQVzLWF8KjZLJYk61ysSiV/CChC
Mw8YnNMri9jZgWc2boA1m48ZzEverqW+dcRudmiOCZNbl6zwLtWwLoTZ/c2aY34y
z3VX58qWo6TC5mkgqoktURLCX24kA0oEwpahnQ5C5lurjGKYHY4v7DXthmie1tk=
=+aYZ
-----END PGP SIGNATURE-----
_______________________________________________
r6rs-discuss mailing list
r6rs-discuss@lists.r6rs.org
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
