[Haskell-cafe] Re: Why purely in haskell?
Wilhelm B. Kloke
wb at arb-phys.uni-dortmund.de
Fri Jan 11 04:54:28 EST 2008
Wolfgang Jeltsch <g9ks157k at acme.softbase.org> schrieb:
>
> However, the fact that (0 / 0) == (0 / 0) yields False is quite shocking. It
> doesn?t adhere to any meaningful axiom set for Eq. So I think that this
> behavior should be changed. Think of a set implementation which uses (==) to
> compare set elements for equality. The NaN behavior would break this
> implementation since it would allow for sets which contain NaN multiple
> times.
You forget, that the intention of NaN is denial of membership of any set of
numbers.
--
Dipl.-Math. Wilhelm Bernhard Kloke
Institut fuer Arbeitsphysiologie an der Universitaet Dortmund
Ardeystrasse 67, D-44139 Dortmund, Tel. 0231-1084-257
PGP: http://vestein.arb-phys.uni-dortmund.de/~wb/mypublic.key
More information about the Haskell-Cafe
mailing list