Daan Leijen 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 mailing list