RFC: Should Data.IntMap.Strict be value-strict in the function arguments or the map itself
fox at ucw.cz
Fri Nov 4 17:14:08 CET 2011
> 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.
More information about the Libraries