10 Feb
2014
10 Feb
'14
2:47 p.m.
Am 10.02.2014 um 17:26 schrieb Dominique Devriese
I disagree. Just think about the Ord type class. A decidable order relation for a type is definitely something I would consider a clear semantical meaning ...
Why shouldn't be the kind of ordering part of the semantical meaning of Ord? Otherwise what could you then say about the result of the 'sort' function? sort :: Ord a => [a] -> [a] My gut feeling is, that if the effective range of the active instance is too narrow, then it's not very useful, but if you widen it, then you're getting all of the possible drawbacks. Greetings, Daniel