Map folds in containers: why no worker/wrapper split?

[Milan Straka]

> fox:
> > > Data.Map is the way it is for historical reasons.  It needs a dedicated
> > > performance maintainer to do detailed benchmarking and static analysis.
> > 
> > I did quite a lot of benchmarking, strictness analysis and performance
> > improvements to the containers package recently, see the draft of my
> > paper http://fox.ucw.cz/papers/containers/containers.pdf.
> > 
> > Next week I will start finalizing the patches and submit them. The 'not
> > generating a worker/wrapper' issue is one of several on my radar, so
> > this should be resolved.
> > 
> 
> I find the abstract very exciting, and would love to see a darcs repo.
> 
> Don't work in isolation!

I will set it at the beginning of next week, I am occupied elsewhere
till then.

Cheers,
Milan