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.
Why not?
David Feuer wrote:
> No, that is not a way now that we have FTP.
>
> On Wed, Feb 25, 2015 at 7:31 PM, Kazu Yamamoto <kazu@iij.ad.jp> wrote:
>>> I would love to have foldl' as part of the Prelude. I use it quite
>>> frequently and it seems like a beginner trap to have foldl but not
>>> foldl' (which is almost always the better choice). I see that foldMap
>>> has been added (in addition to all of Monoid and Traversable), why was
>>> foldl' left out?
>>
>> That is one way but I think another way is to make foldl strict:
>>
>> http://www.well-typed.com/blog/90/
>>
>> I'm tired of explaining the difference of foldl and foldl' to
>> beginners. :-)
>>
>> --Kazu
_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries