<div dir="ltr">The biggest argument in favor of unions and unionsWith is that, while they're easy to write, they're also very easy to write wrong – for example by using fold instead of foldl' as described rather well in the conversation so far.  When I use a function like unions I expect to get an implementation better than the one I'd come up with on my own at the spur of the moment, and deciding what strictness is more efficient in this case is actually a little bit subtle.<div><br></div><div>-Jan-Willem Maessen</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Feb 4, 2018 at 3:09 PM, Joachim Breitner <span dir="ltr"><<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<span class=""><br>
Am Samstag, den 03.02.2018, 20:44 -0500 schrieb David Feuer:<br>
> It is fold, although fold is not so great for lists in this context. It's also foldl' union Set.empty, which is better for lists, and probably also for balanced trees. I initially thought that we should surely generalize, but now another alternative comes to mind: remove. As a containers maintainer, I believe we should either:<br>
><br>
> 1. Generalize as proposed, or<br>
> 2. Deprecate and remove.<br>
><br>
> I'm currently somewhat in favor of the second option.<br>
<br>
</span>please don’t remove!<br>
<br>
…is first reaction. Now I just have to rationalize my gut feeling…<br>
<br>
I like the readability of it in code, it is more descriptive. It is an<br>
important analogue to unionsWith. If we remove unions because of fold,<br>
shouldn’t we also remove union because of (<>)?<br>
<br>
<br>
Cheers,<br>
Joachim<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Joachim Breitner<br>
  <a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a><br>
  <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.<wbr>de/</a><br>
</font></span><br>______________________________<wbr>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div>