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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
