
10 Jan
2008
10 Jan
'08
10:41 a.m.
On Thu, 10 Jan 2008, Ketil Malde wrote:
I think you mean that they cannot be bottom if you want to compare them for equality. Yes.
See above. What is the precise term for describing this? Structural equality?
On the other hand, some bottoms are exceptions, you may be able to catch them and do something useful with them after all, no? How does that fit in?
Catching errors is a hack: http://www.haskell.org/haskellwiki/Error http://www.haskell.org/haskellwiki/Exception