Christian Maeder 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 mailing list