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

Ashley Yakeley ashley at semantic.org
Wed Apr 14 16:24:55 EDT 2010

On 2010-04-14 13:03, Alexander Solla wrote:
> If you're willing to accept that distinct functions can represent the
> same "moral function", you should be willing to accept that different
> "bottoms" represent the same "moral value".

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

Ashley Yakeley

More information about the Haskell-Cafe mailing list