maeder at tzi.de
Fri May 14 21:14:12 EDT 2004
Simon Marlow wrote:
>>"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.
for a map with several hundred thousand entries:
(user seconds) (page faults)
FiniteMap-only: 5.61 30613
DData.Map-only: 6.50 36911
DData.Map+IntMap: 4.14 21296
FiniteMap+IntMap: 3.85 19973
for optimized code only (I'll send you the sources separately)
More information about the Libraries