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

Alexander Solla ajs at 2piix.com
Wed Apr 14 16:31:42 EDT 2010

On Apr 14, 2010, at 1:24 PM, Ashley Yakeley wrote:

> Bottoms should not be considered values. They are failures to  
> calculate values, because your calculation would never terminate (or  
> similar condition).

And yet you are trying to recover the semantics of comparing bottoms. 

More information about the Haskell-Cafe mailing list