Re: [Scheme-reports] Formal Comment: R7RS 'eqv?' cannot be used for reliable memoization Ray Dillinger (20 Nov 2012 09:01 UTC)

Re: [Scheme-reports] Formal Comment: R7RS 'eqv?' cannot be used for reliable memoization Ray Dillinger 20 Nov 2012 08:57 UTC

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

I see +0.0 and -0.0 as branch cut selectors.

Both are numerically zero, but distinguished by which
branch cut we want to talk about when we ask about the
result of some expressions not continuous at zero.

Branch cut selectors are strictly unnecessary in a
language that has the ability to return multiple values
from a function; the alternative is to simply return
both (or all) answers at non-continuous points.  But
to take full advantage of this we'd need multivalent
variables too.

I'm not advocating removing -0 from R7; it's still
useful in implementing convenient (single-return)
math functions and getting the primary return value
to be the one people actually want.  I'm just
pointing out that it isn't strictly necessary.

				Bear
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iQEcBAEBAgAGBQJQq0XuAAoJEAOzWkqOibfNRZYH/jhsLqSGNFfJlsFcVmzoTfFB
06r0Y1yERKfP0zBpJJ1iTbmQlFIA9m2m5Zz/cSyUIBAXgJdW4+RFZKMEX6JINohh
K5JNe2S9747La6SSpPmrTLs0ev4KHL28sNn3JsDVvWaT4YBuTt4u5TGWSl41imSr
Uf5N8HM3s7AdH6+ETsDtuesaQADL3HOiDpK4fHmL/jl3hl35JiNwCnFeVOk1YqMy
7V5+9NCbjm1igTMTCXTOu8u8+Xiz8sWyX9dLikR78eoqiLnmGVZU4ekHXR+PYjp/
3y5s36F6yX2bYVzjYvCKJ/e0Uvvwtnkm9orRJe3+wGm5FvX3hxaVW3CguPHTX6Q=
=aqFh
-----END PGP SIGNATURE-----

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