Difference between revisions of "Applications and libraries/Generic programming"
Misterbeebee (talk | contribs) (move supported packages to top) |
Misterbeebee (talk | contribs) (added link to main Generics page) |
||
| Line 3: | Line 3: | ||
==Recommended libraries== |
==Recommended libraries== |
||
| + | See [[Generics]] |
||
| − | Currently maintained libraries (as of 12/2013) |
||
| − | * [[Uniplate]], released by Neil Mitchell, a modernization of Scrap Your Boilerplate |
||
| − | * others? |
||
| + | == Old discussions == |
||
| − | == Common library for generic programming == |
+ | === Common library for generic programming === |
Johan Jeuring and Andres Loeh [http://article.gmane.org/gmane.comp.lang.haskell.general/14304/ announced] (in 2006) an initiative to design a common library for generic programming, which should work together with most of the Haskell compilers, and for which they hope to guarantee support for generics in Haskell into the future. If you want to get involved (or just want to see the discussion), you can subscribe to [http://www.haskell.org/mailman/listinfo/generics the generics mailing list] (mostly idle since ~2010). Check the [http://haskell.org/haskellwiki/Research_papers/Generics Haskell research wiki] for some background on generics. |
Johan Jeuring and Andres Loeh [http://article.gmane.org/gmane.comp.lang.haskell.general/14304/ announced] (in 2006) an initiative to design a common library for generic programming, which should work together with most of the Haskell compilers, and for which they hope to guarantee support for generics in Haskell into the future. If you want to get involved (or just want to see the discussion), you can subscribe to [http://www.haskell.org/mailman/listinfo/generics the generics mailing list] (mostly idle since ~2010). Check the [http://haskell.org/haskellwiki/Research_papers/Generics Haskell research wiki] for some background on generics. |
||
| − | === Work Plan === |
+ | ==== Work Plan ==== |
We have identified a number of approaches that are potential candidates to a generic programming library: |
We have identified a number of approaches that are potential candidates to a generic programming library: |
||
| Line 34: | Line 33: | ||
The template that we are using to summarise the different approaches can be found [[/Template|here]]. |
The template that we are using to summarise the different approaches can be found [[/Template|here]]. |
||
| − | ==Benchmark suite== |
+ | ===Benchmark suite=== |
We have developed a benchmark suite that tests the expressiveness of different generic programming libraries. For more information go to: [[GPBench]]. |
We have developed a benchmark suite that tests the expressiveness of different generic programming libraries. For more information go to: [[GPBench]]. |
||
Revision as of 07:11, 24 December 2013
- The copyright status of this work is not known. Please help resolve this on the talk page.
Recommended libraries
See Generics
Old discussions
Common library for generic programming
Johan Jeuring and Andres Loeh announced (in 2006) an initiative to design a common library for generic programming, which should work together with most of the Haskell compilers, and for which they hope to guarantee support for generics in Haskell into the future. If you want to get involved (or just want to see the discussion), you can subscribe to the generics mailing list (mostly idle since ~2010). Check the Haskell research wiki for some background on generics.
Work Plan
We have identified a number of approaches that are potential candidates to a generic programming library:
Generics for the Masses
Generics as a library
RepLib
Extensible superclasses
Almost compositional functions
At the moment we are discussing the advantages and disadvantages of the different approaches. Each approach is roughly two weeks under discussion and the results will be published in this Wiki Page. There is also a darcs repository where you can find some code that we are collecting. For retrieving this code do:
> darcs get http://darcs.haskell.org/generics (dead link, 12/2013, is this similar? http://darcs.haskell.org/ghc-generic-15Feb11/ )
The template that we are using to summarise the different approaches can be found here.
Benchmark suite
We have developed a benchmark suite that tests the expressiveness of different generic programming libraries. For more information go to: GPBench.