Drastic Prelude changes imminent

Roman Cheplyaka roma at ro-che.info
Sun Feb 1 21:17:36 UTC 2015

On 01/02/15 22:56, Edward Kmett wrote:
>     sum = getSum . foldMap sum
>     is the implementation that ensures that it doesn't destroy the
>     asymptotics of the number of uses of 'mappend' in foldMap.
>     The right container can readily fold 2^20th a's with 20 mappends.

Fold 2^20 *arbitrary* a's? What kind of container is that?


More information about the Libraries mailing list