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

Don Stewart dons at
Thu Jun 24 02:54:16 EDT 2010

> > 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
> 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!

-- Don

More information about the Libraries mailing list