
31 May
2007
31 May
'07
5:03 a.m.
What is the basic philosophy for Bool being a member of Ord? you can do sth like
Data.Set.fromList [minBound .. maxBound] :: Data.Set.Set Bool Sorry, not quite sure what you mean.
What justifies False < True? in most interpretations this equals:
False == 0 True == 1 Indeed, it's the same in C but what justifies the decision in Haskell?
and == (*) or == max not == (1 -) a `xor` b == (a + b) `mod` 2
and not this:
False == 1 True == 0 and == max or == (*) not == (1 -) a `xor` b == (a + b) `mod` 2
Thanks, Paul