17 Aug
2007
17 Aug
'07
3:58 p.m.
Adrian Hey wrote:
apfelmus wrote:
The Ord-constraint is too limiting for tries.
Well it isn't going to disappear while I'm in charge of GT class :-) Why do you object to it? Ultimately we must be able to test keys for equality at least. Is there a type that is an instance of Eq, but not Ord (or could not reasonably be made an instance of Ord)?
STRef and similar, I think are in Eq but would need performance penalties to be in Ord, since they essentially only contain a pointer to their contents, and garbage collection can move and re-order them and their contents. Isaac