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

[Ashley Yakeley]

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 
condition).

-- 
Ashley Yakeley