[Haskell-cafe] Re: instance Eq (a -> b)
ashley at semantic.org
Wed Apr 14 04:39:38 EDT 2010
Thomas Davie wrote:
> I guess this further reinforces my point though – we have a mixture of places where we consider _|_ when considering laws, and places where we don't consider _|_. This surely needs better defined somewhere.
It's easy: don't consider bottom as a value, and the laws work fine.
Of course, sometimes we may want to add _additional_ information
concerning bottom, such as strictness.
More information about the Haskell-Cafe