[Haskell-cafe] 0/0 > 1 == False
gale at sefer.org
Thu Jan 10 05:17:53 EST 2008
Cristian Baboi wrote:
> I think this should be put this way:
> Bottom is a part of the semantic domain which is not Haskell.
Rather, something outside Haskell that describes
what Haskell programs mean. Yes.
> In the semantic domain there is one bottom.
> In Haskell there are many expressions that represent bottom.
> One cannot test those for equality.
> The result of a Haskell function applied to some arguments cannot be
I think you mean that they cannot be bottom if you want
to compare them for equality. Yes.
More information about the Haskell-Cafe