[Haskell-cafe] Re: instance Eq (a -> b)

Ashley Yakeley 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.

Ashley Yakeley

More information about the Haskell-Cafe mailing list