Re: [PATCH] Split Data.IntMap into Data.IntMap.Strict and Data.IntMap.Lazy.

On Sat, Sep 17, 2011 at 7:13 AM, Milan Straka wrote:

As mentioned, we have no consensus on whether we should provide Data.IntMap.Lazy, which would export the Data.IntMap methods without the insertWith' and insertWithKey'. Currently I am against it.

I'm in favor of exporting both the .Strict and the .Lazy versions. This is consistent with e.g. Control.Monad.ST, Data.STRef, and Data.HashMap. I think it makes the choice of semantics more clear and removes the need to know which one is the default when you see an import like this: import Data.Map Cheers, Johan