[Haskell-cafe] Re: Why purely in haskell?
cristi at ot.onrc.ro
Fri Jan 11 06:33:10 EST 2008
On Fri, 11 Jan 2008 13:29:35 +0200, Wolfgang Jeltsch
<g9ks157k at acme.softbase.org> wrote:
> Am Freitag, 11. Januar 2008 10:54 schrieb Wilhelm B. Kloke:
>> Wolfgang Jeltsch <g9ks157k at acme.softbase.org> schrieb:
>> > However, the fact that (0 / 0) == (0 / 0) yields False is quite
>> > It doesn?t adhere to any meaningful axiom set for Eq. So I think
>> > this behavior should be changed. Think of a set implementation which
>> > uses (==) to compare set elements for equality. The NaN behavior
>> > break this implementation since it would allow for sets which contain
>> > multiple times.
>> You forget, that the intention of NaN is denial of membership of any
>> set of
> This doesn’t matter. The Set data type I’m talking about would not know
> NaN and would therefore allow multiple NaNs in a set.
This is a good thing because one can define natural numbers with such sets
________ Information from NOD32 ________
This message was checked by NOD32 Antivirus System for Linux Mail Servers.
part000.txt - is OK
More information about the Haskell-Cafe