RFC: Should Data.IntMap.Strict be value-strict in the function arguments or the map itself

Milan Straka fox at ucw.cz
Fri Nov 4 17:14:08 CET 2011


Hi Johan,

> After thinking about this some more I think we should go with option one
> (the most strict one). My arguments in favor are that
> 
>  * it's easier to explain and remember,
>  * it's harder to be too lazy by mistake*,
>  * Simon M thinks it'll help GHC to avoid some redundant seq:s, and
>  * if we can specialize the structure in the future to use monomorphic
> representations we can pass the value unboxed.
> 
> Milan, what are your current thoughts?

I agree with going with option one. It is a simple rule and it is
consistent with the method-are-strict-in-keys behaviour.

Cheers,
Milan



More information about the Libraries mailing list