<div dir="auto"><div>> <span style="font-family:sans-serif">It looks to me like many of the applications of snocBag should really be using</span><span style="font-family:sans-serif"> OrdList.</span></div><div dir="auto"><font face="sans-serif"><br></font></div><div dir="auto"><font face="sans-serif">Do you think there's benefit in refactoring to use ordList and then removing snoc/cons from the bag API (instead providing only operations that make no assumptions about ordering)?</font></div><div dir="auto"><font face="sans-serif"><br></font></div><div dir="auto"><font face="sans-serif">Jared<br></font><br><div class="gmail_quote" dir="auto"><div dir="ltr">On Sat, Jun 2, 2018, 10:39 AM Ben Gamari <<a href="mailto:ben@smart-cactus.org">ben@smart-cactus.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Andreas Klebinger <<a href="mailto:klebinger.andreas@gmx.at" target="_blank" rel="noreferrer">klebinger.andreas@gmx.at</a>> writes:<br>
<br>
>  > we are free to improve the implementation of Bag in the future so <br>
> that it doesn’t preserve order<br>
><br>
> Imo we lost that ability by exposing consBag & snocBag which imply that <br>
> there is a front and a back.<br>
> Which at first glance also seem to be already used in GHC with that <br>
> behavior in mind.<br>
><br>
It looks to me like many of the applications of snocBag should really be<br>
using OrdList.<br>
<br>
In my opinion we should keep the two types apart and simply be more<br>
careful about when we use each. There is value in being precise about<br>
whether or not ordering of a structure is relevant, even if we don't<br>
take advantage of this in the structure's representation.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank" rel="noreferrer">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div></div></div>