Paper about comparing libraries

Dear generics-subscribers, I announced our attempt to write a paper for the Haskell workshop on this list more than a month ago. I'm afraid we failed. Not because we have been lazy, but because it turned out to be more work to perform all the tests and evaluations. And while we were writing the paper a new library for generic programming appeared! On the other hand, we got quite far, and we have the feeling we can write quite a nice paper about the subject. To mention something recent: Patrik Jansson performed some time-measurements for the different libraries. The very limited tests (form which you cannot draw any conclusions without more evidence, I think) show that the fastest approach is around 8 times faster than the slowest approach! So we will try to keep up the momentum, and submit a paper to POPL. It has to take a bit broader perspective, but we think that that should be possible. If you're interested in participating let me know, then I can give you access to the paper repository. The test code can be obtained from the darcs repository. Al the best , Johan

Hi Johan,
I announced our attempt to write a paper for the Haskell workshop on this list more than a month ago. I'm afraid we failed. Not because we have been lazy, but because it turned out to be more work to perform all the tests and evaluations. And while we were writing the paper a new library for generic programming appeared!
I recently released Uniplate: http://www-users.cs.york.ac.uk/~ndm/uniplate/ I'd love to add Uniplate to the benchmark suite, but couldn't quite figure out where to start adding the library. I also can only see one function in the benchmark which does any vanilla traversal stuff, namely increase from Paradise. If that's all that Uniplate can be tested on, you may prefer not to have it included. My draft paper (linked to from the website) gives 9 benchmarks for generic traversals, you are welcome to incorporate them. Thanks Neil

Hi
I'd love to add Uniplate to the benchmark suite
I've written three patches for the generics benchmark, the first adds deriving Data/Typeable to the Perfect data type. The second implements the following benchmarks for Uniplate: * Paradise * FoldTree * Nested * Reduce The third fixes up the Reduce benchmark for Uniplate to meet the spec. All the four modules implemented pass their test, and I think meet the required spec. I doubt that Uniplate can do any of the other benchmarks, apart from possibly the efficiency test - but I couldn't figure out what that benchmark is meant to do. Please apply, thanks Neil
participants (2)
-
Johan Jeuring
-
Neil Mitchell