simonmar at microsoft.com
Fri May 14 18:05:19 EDT 2004
On 14 May 2004 16:47, Christian Maeder wrote:
> My experiments (with large maps) wrt. performance (and memory
> consumption with and without optimization) of both Map and FiniteMap
> implementations revealed differences, but no crucial ones.
> "FiniteMap Int a" performs better than "Map Int a", but not as good as
> "IntMap a", but the differences are unimportant for us.
How much better? I'm not keen to import something that's going to
degrade performance of existing code noticeably.
If DData.Map performs worse than DData.FiniteMap, I'm sure it can be
improved (they use the same algorithm, after all).
> (We would need a pure HashMap with O(1) lookup while extending the
Could you elaborate?
More information about the Libraries