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

Johan Tibell johan.tibell at gmail.com
Thu Oct 27 19:50:02 CEST 2011


On Thu, Oct 27, 2011 at 10:33 AM, Milan Straka <fox at ucw.cz> wrote:

> BTW, 1. does not fully specify the behaviour -- for example, does
>  insertWith' f k v map
> forces the result of (f old new) when the key is already present?
> Possibility 2. says 'yes', possibility 1. does not say anything.
> Maybe the 1. should be "the structure is strict in the value field
> and also all the functions are strict in the value argument".
>

Yes. Option 1 would both talk about any value passed to a function and to
any value stored in the map. Option 1 is really as if Haskell was a strict
language.

-- Johan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20111027/46ccb3f8/attachment.htm>


More information about the Libraries mailing list