RFC: Should Data.IntMap.Strict be value-strict in the function arguments or the map itself
fox at ucw.cz
Thu Oct 27 19:35:15 CEST 2011
> > I believe
> > delete undefined Nil
> > does not terminate with current definition, but would terminate
> > if the explicit seq would not be present.
> Good point.
> I think option 2 is bad as it gives users no way to know which functions are
> strict in their value argument without knowing the implementation or us
> documenting every function with the strictness properties. We could do the
> latter but the API would be simpler if we just said that all functions are
> strict in their key and value arguments.
This is even a problem of current API. Although most of the functions
are strict in keys, it is not mentioned at any place in the
You are right that option 1 is easily explained and documented.
More information about the Libraries