<div class="gmail_quote">Hi Stephan,</div><div class="gmail_quote"><br></div><div class="gmail_quote">On Fri, Aug 20, 2010 at 2:57 PM, Stephan Friedrichs <span dir="ltr"><<a href="mailto:deduktionstheorem@web.de">deduktionstheorem@web.de</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Sorry for the long mail, but it isn't worth opening a repository yet.<br>
Comments? :)</blockquote><div><br></div><div>While we can unify Data.Map and Data.IntMap using associated data types (ATs) but I'm not sure if that unification alone is worth a new library in my opinion. My biggest problem with ATs is that they don't scale well enough to support e.g. unboxing of keys and values for every data type. See</div>
<div><br></div><div> <a href="http://www.mail-archive.com/glasgow-haskell-users@haskell.org/msg18545.html">http://www.mail-archive.com/glasgow-haskell-users@haskell.org/msg18545.html</a></div><div><br></div><div>In my opinion we need to address the issues I raised in that email before we can create a practical containers library using ATs.</div>
<div><br></div><div>Cheers,</div><div>Johan</div><div><br></div></div>