<p dir="ltr">FTP sets up the expectation that foldl has a specific relationship to foldMap. I suppose you could go against that, and also break any code relying on the current foldl semantics, but I'd personally be very much opposed to that.</p>
<div class="gmail_quote">On Mar 1, 2015 5:13 PM, "Ben Franksen" <<a href="mailto:ben.franksen@online.de">ben.franksen@online.de</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Why not?<br>
<br>
David Feuer wrote:<br>
> No, that is not a way now that we have FTP.<br>
><br>
> On Wed, Feb 25, 2015 at 7:31 PM, Kazu Yamamoto <<a href="mailto:kazu@iij.ad.jp">kazu@iij.ad.jp</a>> wrote:<br>
>>> I would love to have foldl' as part of the Prelude. I use it quite<br>
>>> frequently and it seems like a beginner trap to have foldl but not<br>
>>> foldl' (which is almost always the better choice). I see that foldMap<br>
>>> has been added (in addition to all of Monoid and Traversable), why was<br>
>>> foldl' left out?<br>
>><br>
>> That is one way but I think another way is to make foldl strict:<br>
>><br>
>>         <a href="http://www.well-typed.com/blog/90/" target="_blank">http://www.well-typed.com/blog/90/</a><br>
>><br>
>> I'm tired of explaining the difference of foldl and foldl' to<br>
>> beginners. :-)<br>
>><br>
>> --Kazu<br>
<br>
<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>
</blockquote></div>