daanleijen at xs4all.nl
Mon May 17 17:14:44 EDT 2004
>> When I omitted the "!" in " !k a !(Map k a) !(Map k a)"
>> time was faster but page faults increased:
>> Map-only: 7.37 29767
> You should measure this version, because it is closer to what FiniteMap
> does (plus there seems to be no good reason to force strictness on the
> elements in a general purpose Map type).
I agree with this. Note however that this forced strictness on the *key*
not the element. It is ok to force strictness on the key as they are
evaluated anyway -- and that is why I am surprised to see a speedup :-)
All the best,
More information about the Libraries