Proposal: generalise Monoid's mconcat

Edward Kmett ekmett at gmail.com
Tue Sep 1 07:56:24 UTC 2015


I'm personally -1 from a base organizational standpoint following Reid's
reasoning.

This is just me expressing my own personal opinion rather than any official
core libraries committee stance at this time.

-Edward

On Mon, Aug 31, 2015 at 1:19 PM, Petr Pudlák <petr.mvd at gmail.com> wrote:

>
>
> 2015-08-31 21:00 GMT+02:00 David Feuer <david.feuer at gmail.com>:
>
>> The theory of mconcat is that it should handle monoids that need to be
>> summed in some special way. I don't know if anyone actually uses it so,
>> however. Still, Reid is right that the circular dependency sets a very high
>> bar.
>>
>> I guess the [a] monoid is a good example where using mconcat can make a
> difference.
>
> What seems to be an omission is that Dual has no implementation of
> mconcat. It'd make sense to define 'mconcat = mconcat . reverse' - if the
> original monoid benefits from a certain order of operations, we should keep
> the order.
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20150901/b7d2bae5/attachment-0001.html>


More information about the Libraries mailing list