On Eq, was Re: [Haskell-cafe] When to use fancy types [Re:
NumberTheory library]
Marcin 'Qrczak' Kowalczyk
qrczak at knm.org.pl
Sat May 14 12:31:08 EDT 2005
"Jacques Carette" <carette at mcmaster.ca> writes:
> Since +0 and -0 both exist as separate 'entities' (as computer bits),
> which are their own normal form, the real question to ask is, why
> would they be equal?
Because (1.0 - 1.0) == -(1.0 - 1.0) should be true. In general
arithmetic on integers which are representable in floating point
is exact, including checking for equality.
--
__("< Marcin Kowalczyk
\__/ qrczak at knm.org.pl
^^ http://qrnik.knm.org.pl/~qrczak/
More information about the Haskell-Cafe
mailing list