10 Jan
2008
10 Jan
'08
10:17 a.m.
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