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

Yitzchak Gale 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.

Yes.

> The result of a Haskell function applied to some arguments cannot be
> bottom.

I think you mean that they cannot be bottom if you want
to compare them for equality. Yes.

-Yitz


More information about the Haskell-Cafe mailing list