- Generics - Haskell.org

patch applied (generics): added SYB1_2/Efficiency (slowest so far)
by Oleg Kiselyov 18 Jun '07

18 Jun '07

Sun Jun 17 03:53:25 PDT 2007 patrikj(a)chalmers.se * added SYB1_2/Efficiency (slowest so far) ./comparison/GRoseInstances.hs -> ./comparison/SYB1_2/GRoseInstances.hs A ./comparison/SYB1_2/Efficiency.lhs M ./comparison/SYB1_2/GEq.lhs -1 +1 M ./comparison/SYB1_2/GRoseInstances.hs -1 +2 M ./comparison/log.txt -5 +9

1 0

Paper about comparing libraries
by Johan Jeuring 17 Jun '07

17 Jun '07

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

2 2

patch applied (generics): Added log.txt with an overview of test impl. status
by Oleg Kiselyov 17 Jun '07

17 Jun '07

Sun Jun 17 03:17:43 PDT 2007 patrikj(a)chalmers.se * Added log.txt with an overview of test impl. status A ./comparison/log.txt

1 0

patch applied (generics): Minor alignment fixes in Spine/GEq
by Oleg Kiselyov 17 Jun '07

17 Jun '07

Sun Jun 17 02:38:27 PDT 2007 patrikj(a)chalmers.se * Minor alignment fixes in Spine/GEq M ./comparison/Spine/GEq.lhs -3 +2

1 0

patch applied (generics): Added simple test of efficiency (to LIGD, Spine, EMGM so far)
by Oleg Kiselyov 17 Jun '07

17 Jun '07

Sun Jun 17 02:35:40 PDT 2007 patrikj(a)chalmers.se * Added simple test of efficiency (to LIGD, Spine, EMGM so far) A ./comparison/EMGM/Efficiency.lhs A ./comparison/LIGD/Efficiency.lhs A ./comparison/Spine/Efficiency.lhs M ./comparison/Spine/GEq.lhs -1 +1 M ./comparison/Spine/SYB1.hs +7 M ./comparison/test.hs -1 +1

1 0

patch applied (generics): EMGM: corrected and completed ...Reps files
by Oleg Kiselyov 17 Jun '07

17 Jun '07

Sun Jun 17 02:32:23 PDT 2007 patrikj(a)chalmers.se * EMGM: corrected and completed ...Reps files M ./comparison/EMGM/BinTreeReps.hs -2 +5 M ./comparison/EMGM/GEqTree.lhs -3 +3 M ./comparison/EMGM/GMap.lhs -1 +1 M ./comparison/EMGM/Reduce.lhs -1 +1 M ./comparison/EMGM/TreeReps.hs -1 +2

1 0

patch applied (generics): Cleaning up trailing whitespace
by Oleg Kiselyov 17 Jun '07

17 Jun '07

Sun Jun 17 02:29:45 PDT 2007 patrikj(a)chalmers.se * Cleaning up trailing whitespace M ./comparison/EMGM/CompanyReps.hs -3 +3 M ./comparison/EMGM/CompanyReps3.hs -7 +7 M ./comparison/EMGM/GEq.lhs -1 +1 M ./comparison/EMGM/GL.hs -9 +9 M ./comparison/EMGM/GL2.hs -1 +1 M ./comparison/EMGM/Paradise3.lhs -1 +1 M ./comparison/EMGM/PerfectReps.hs +1 M ./comparison/EMGM/TreeReps.hs -1 +2 M ./comparison/EMGM/TreeReps2.hs +1 M ./comparison/LIGD/GEq.lhs +1 M ./comparison/RepLib/GEq.lhs -1 +1 M ./comparison/RepLib/GMap.lhs -6 +6 M ./comparison/SmashA/RoseDats.hs -4 +4 M ./comparison/Spine/SYB1.hs -45 +45

1 0

patch applied (generics): Replaced OPTIONS with OPTIONS_GHC (all are GHC-specific)
by Oleg Kiselyov 17 Jun '07

17 Jun '07

Sun Jun 17 02:25:50 PDT 2007 patrikj(a)chalmers.se * Replaced OPTIONS with OPTIONS_GHC (all are GHC-specific) M ./comparison/BinTreeDatatype.hs -1 +1 M ./comparison/CompanyDatatypes.hs -1 +1 M ./comparison/EMGM/BinTreeReps.hs +1 M ./comparison/EMGM/CompanyReps.hs -1 +1 M ./comparison/EMGM/CompanyReps3.hs -1 +1 M ./comparison/EMGM/FoldTree.lhs -1 +1 M ./comparison/EMGM/GEq3.lhs -1 +1 M ./comparison/EMGM/GEqTree.lhs -1 +1 M ./comparison/EMGM/GL.hs -1 +1 M ./comparison/EMGM/GL2.hs -1 +1 M ./comparison/EMGM/GL3.hs -1 +1 M ./comparison/EMGM/GMap3.lhs -1 +1 M ./comparison/EMGM/GShow.lhs -1 +1 M ./comparison/EMGM/GZipWith3.lhs -1 +1 M ./comparison/EMGM/Paradise3.lhs -1 +1 M ./comparison/EMGM/PerfectReps.hs -1 +1 M ./comparison/EMGM/TreeReps.hs -1 +1 M ./comparison/GM/GShow.lhs -1 +1 M ./comparison/GRoseDatatype.hs -1 +1 M ./comparison/GRoseInstances.hs -1 +1 M ./comparison/LIGD/CompanyReps.hs -1 +1 M ./comparison/LIGD/GRoseReps.hs +1 M ./comparison/LIGD/LIGD.lhs -1 +1 M ./comparison/LIGD/Reduce.lhs -1 +1 M ./comparison/NOW/FoldTree.lhs -1 +1 M ./comparison/NOW/GEq.lhs -1 +1 M ./comparison/NOW/GShow.lhs -1 +1 M ./comparison/NOW/NOW.hs -1 +1 M ./comparison/NOW/Paradise.lhs -1 +1 M ./comparison/PerfectDatatype.hs -1 +1 M ./comparison/PolyP/GEq.lhs -1 +1 M ./comparison/PolyP/GEqTree.lhs -1 +1 M ./comparison/PolyP/GShow.lhs -1 +1 M ./comparison/PolyP/PolyLib/Base.hs -1 +1 M ./comparison/PolyP/PolyLib/Equal.hs -1 +1 M ./comparison/PolyP/PolyLib/FunctorOf.hs -1 +1 M ./comparison/PolyP/PolyLib/Prelude.hs -1 +1 M ./comparison/RepLib/CompanyReps.hs -1 +1 M ./comparison/RepLib/FoldTree.lhs -1 +1 M ./comparison/RepLib/GEq.lhs -1 +1 M ./comparison/RepLib/GMap.lhs -1 +1 M ./comparison/RepLib/GShow.lhs -1 +1 M ./comparison/RepLib/Paradise.lhs -1 +1 M ./comparison/RepLib/R2.hs -1 +1 M ./comparison/RepLib/Reduce.lhs -1 +1 M ./comparison/RepLib/RepLib.hs -1 +1 M ./comparison/RepLib/RepLib/Derive.hs -1 +1 M ./comparison/RepLib/RepLib/Lib.hs -1 +1 M ./comparison/RepLib/RepLib/PreludeLib.hs -1 +1 M ./comparison/RepLib/RepLib/PreludeReps.hs -1 +1 M ./comparison/RepLib/RepLib/R.hs -1 +1 M ./comparison/RepLib/RepLib/R1.hs -1 +1 M ./comparison/RepLib/RepLib/RepAux.hs -1 +1 M ./comparison/RepLib/RepLib/RepLib.hs -1 +1 M ./comparison/RepLib/RepLib/SYB/Aliases.hs -1 +1 M ./comparison/RepLib/RepLib/SYB/Schemes.hs -1 +1 M ./comparison/SYB1_2/GEq.lhs -1 +1 M ./comparison/SYB1_2/GShow.lhs -1 +1 M ./comparison/SYB1_2/Paradise.lhs -1 +1 M ./comparison/Smash/CompanyDats.hs -2 +2 M ./comparison/Smash/CompanyTDats.hs -2 +2 M ./comparison/Smash/FoldTree.hs -1 +1 M ./comparison/Smash/GShow.hs -1 +1 M ./comparison/Smash/Paradise.hs -1 +1 M ./comparison/Smash/Syb4.hs -3 +3 M ./comparison/Smash/TreeDats.hs -2 +2 M ./comparison/SmashA/BTreeDats.hs -2 +2 M ./comparison/SmashA/CompanyDats.hs -2 +2 M ./comparison/SmashA/FoldTree.hs -2 +2 M ./comparison/SmashA/GEq.hs -2 +2 M ./comparison/SmashA/GMap.hs -2 +2 M ./comparison/SmashA/GShow.hs -2 +2 M ./comparison/SmashA/Paradise.hs -2 +2 M ./comparison/SmashA/Reduce.hs -2 +2 M ./comparison/SmashA/RoseDats.hs -2 +2 M ./comparison/SmashA/Syb4A.hs -3 +3 M ./comparison/SmashA/Syb4ABuild.hs -3 +3 M ./comparison/SmashA/TreeDats.hs -2 +2 M ./comparison/Spine/FoldTree.lhs -1 +1 M ./comparison/Spine/GEq.lhs -1 +1 M ./comparison/Spine/GShow.lhs -1 +1 M ./comparison/Spine/Paradise.lhs -1 +1 M ./comparison/Spine/SYB1.hs -1 +1 M ./comparison/TreeDatatype.hs -1 +1

1 0

patch applied (generics): Cleaning up NOW (resolved ghc warnings + whitespace).
by Oleg Kiselyov 17 Jun '07

17 Jun '07

Sat Jun 16 06:55:28 PDT 2007 patrikj(a)chalmers.se * Cleaning up NOW (resolved ghc warnings + whitespace). M ./comparison/NOW/NOW.hs -138 +148

1 0

patch applied (generics): renamed GL to EMGM + unified the lib order in test.hs and the table in the paper
by Oleg Kiselyov 17 Jun '07

17 Jun '07

Sat Jun 16 06:33:24 PDT 2007 patrikj(a)chalmers.se * renamed GL to EMGM + unified the lib order in test.hs and the table in the paper ./comparison/GL -> ./comparison/EMGM M ./comparison/test.hs -1 +1

1 0