[Haskell-cafe] 0/0 > 1 == False

[Cristian Baboi]

On Thu, 10 Jan 2008 10:22:03 +0200, Mitar <mmitar at gmail.com> wrote:

> Hi!
>
> Why is 0/0 (which is NaN) > 1 == False and at the same time 0/0 < 1 ==
> False. This means that 0/0 == 1? No, because also 0/0 == 1 == False.
>
> I understand that proper mathematical behavior would be that as 0/0 is
> mathematically undefined that 0/0 cannot be even compared to 1.
>
> There is probably an implementation reason behind it, but do we really
> want such "hidden" behavior? Would not it be better to throw some kind
> of an error?
>
>
> Mitar

I think it's a bug.
Here is why:

let f = (\x -> x/0) in f 0 == f 0

Referential transparency say that f 0 must equal to f 0, but in this case  
it is not. :-)





________ Information from NOD32 ________
This message was checked by NOD32 Antivirus System for Linux Mail Servers.
  part000.txt - is OK
http://www.eset.com