1 Feb
2015
1 Feb
'15
4:17 p.m.
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? Roman