Proposal: Add strict versions of foldlWithKey and
insertLookupWithKey to Data.Map
johan.tibell at gmail.com
Sun Aug 29 09:34:29 EDT 2010
Proposal: Add strict versions of foldlWithKey and insertLookupWithKey to
This proposal depends on #4277 .
The current Data.Map API lacks two important functions:
* A strict left (pre-order) fold -- needed to e.g. sum all the values in
a map efficiently.
* A strict insertLookupWithKey' -- needed to e.g. update an integer
counter and retrieve the previous value in a single traversal.
The benchmark we ran indicates that foldlWithKey' is 95% faster than its
lazy counter part.insertLookupWithKey' is only 6% faster, but the speedup is
highly dependent on how many times each element is update. Each element was
only updated once in our benchmark so real speedups should be larger.
The consideration period is 3 weeks.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Libraries