<div dir="ltr">On an instance by instance basis I have zero objection and it can definitely work fine.<div><br></div><div>-Edward</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Mar 31, 2015 at 7:56 AM, 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>
<br>
Am Dienstag, den 31.03.2015, 07:04 -0400 schrieb Edward Kmett:<br>
<br>
> Your proposed optimization breaks at least the (2a) approach above.<br>
><br>
> The key is don't get to know that `foldMap f` and `getConst . traverse<br>
> (Const . f)` for a given container build the exact same tree. One<br>
> might associate differently than the other, and in fact if you<br>
> supplied a definition of the Foldable in terms of foldr and the<br>
> Traversable in terms of traverse, this is precisely what happens, so<br>
> it isn't even an academic exercise. =/<br>
<br>
</span>This argues against a generic "traverse = traverse_" rule. But how about<br>
per-instances rules, for instances where we know that they build the<br>
applicative result in the same way?<br>
<div class="HOEnZb"><div class="h5"><br>
Greetings,<br>
Joachim<br>
<br>
--<br>
Joachim “nomeata” Breitner<br>
  <a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a> • <a href="http://www.joachim-breitner.de/" target="_blank">http://www.joachim-breitner.de/</a><br>
  Jabber: <a href="mailto:nomeata@joachim-breitner.de">nomeata@joachim-breitner.de</a>  • GPG-Key: 0xF0FBF51F<br>
  Debian Developer: <a href="mailto:nomeata@debian.org">nomeata@debian.org</a><br>
</div></div><br>_______________________________________________<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" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div>