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

Yitzchak Gale gale at sefer.org
Thu Jan 10 04:23:51 EST 2008

Cristian Baboi wrote:
> and there is no such thing as "the same bottom" right ?

Yes and no. Semantically, every bottom is the same.
However, the Haskell Report makes bottom an explicit
exceptional case. Compilers are allowed to do whatever
they want with bottoms, including different results for
different bottoms.

There isn't any choice, really. In order to behave the same
for every bottom, you would first have to solve the
Halting Problem. Or hang forever on every bottom, which
I don't think you would want.


More information about the Haskell-Cafe mailing list