14 May
2004
14 May
'04
6:14 p.m.
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) Christian