[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
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