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

-- 
Ashley Yakeley


More information about the Haskell-Cafe mailing list