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

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