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

Ketil Malde ketil+haskell at ii.uib.no
Thu Jan 10 04:13:05 EST 2008

"Cristian Baboi" <cristi at ot.onrc.ro> writes:

> 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. :-)

I think you are wrong.  Referential transparency says that you can
replace any occurence of 'f 0' with another expression of the same
value, it does not say anything about the behaviour of (==).

If I haven't seen further, it is by standing in the footprints of giants

More information about the Haskell-Cafe mailing list