Should foldl' be added to the post-"Plan FTP" Prelude
David Feuer
david.feuer at gmail.com
Sun Mar 8 04:33:13 UTC 2015
On Sat, Mar 7, 2015 at 6:08 PM, Ben Franksen <ben.franksen at online.de> wrote:
> David Feuer wrote:
>> FTP sets up the expectation that foldl has a specific relationship to
>> foldMap.
>
> How does foldl have a more specific relationship with foldMap than foldl'?
> Both are currently methods of class Foldable, BTW.
Yes, and each is expected to have a specific relationship to foldMap.
Changing the foldl for lists breaks that.
David
More information about the Libraries
mailing list