On Fri, Sep 3, 2010 at 8:46 AM, Brian Bloniarz <span dir="ltr">&lt;<a href="mailto:brian.bloniarz@gmail.com">brian.bloniarz@gmail.com</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

On Sun, 29 Aug 2010 15:34:29 +0200<br>
<div class="im">Johan Tibell &lt;<a href="mailto:johan.tibell@gmail.com">johan.tibell@gmail.com</a>&gt; wrote:<br>
</div><div class="im">&gt; Proposal: Add strict versions of foldlWithKey and insertLookupWithKey to<br>
&gt; Data.Map<br>
<br>
</div>+1, insertLookupWithKey&#39; I could have used recently.<br>
<br>
Is there some reason why all the other WithKey functions don&#39;t require<br>
strict variants? Asked another way, suppose I want to build a Map via<br>
foldl&#39; (unionWith (+)) without space leaks, is that possible?<br>
</blockquote></div><br>No reason, expect that I didn&#39;t have a need for it. Every function that takes a higher-order argument that combines two values needs a strict variant.<br><br>I would like to go over the whole API at some point and see if it could be simplified somehow, without breaking any packages. The API is overly complicated an provides lots of functions with overlapping behavior. To do this properly I need to first build all of Hackage and create an index which I can use to find all calls to function in Data.Map. Any function that&#39;s not called at all would be a candidate for removal.<br>

<br>Cheers,<br>Johan<br>