2 Sep
2010
2 Sep
'10
2:57 p.m.
On Thu, 2 Sep 2010 19:30:17 +0200, Daniel Fischer
Why would one consider using Ord for Map an abuse? A kludge, for performance reasons, but an abuse?
Because it forces one to declare Ord instances for types which have no natural ordering. It is useful to *not* have such instances, in order to catch programming errors. A separate type class for types which can be ordered in some (possibly arbitrary) way, for use in Data.Map, would remedy this. Regards, Arie