| ... | ... | @@ -23,11 +23,13 @@ There are various extant proposals to enable the user-specification of the deriv |
|
|
|
|
|
|
|
|
|
|
|
- [NewtypeDeriving](newtype-deriving)
|
|
|
|
- Polytypic Programming ([ Jeuring and Jansson](http://www.cs.uu.nl/~johanj/publications/notes.ps), AFP 1996)
|
|
|
|
- Generic FP (Hinze, [ PoPL 2000](http://www.informatik.uni-bonn.de/~ralf/publications/POPL00.ps.gz), [ Haskell Workshop 1999](http://www.informatik.uni-bonn.de/~ralf/publications/HW99.ps.gz))
|
|
|
|
- PolyP ([ Jeuring and Jansson](http://www.cs.uu.nl/~johanj/publications/notes.ps), AFP 1996)
|
|
|
|
- ghc -fgenerics (Hinze, [ PoPL 2000](http://www.informatik.uni-bonn.de/~ralf/publications/POPL00.ps.gz), [ Haskell Workshop 1999](http://www.informatik.uni-bonn.de/~ralf/publications/HW99.ps.gz), [ Haskell Workshop 2000](http://www.informatik.uni-bonn.de/~ralf/publications/HW00.ps.gz))
|
|
|
|
- Lightweight Generics ([ Cheney and Hinze](http://www.informatik.uni-bonn.de/~ralf/publications/HW2002.pdf), Haskell Workshop 2002)
|
|
|
|
- Scrap your Boilerplate ([ Lämmel and Peyton Jones](http://www.cs.vu.nl/boilerplate/), TLDI 2003 etc)
|
|
|
|
- Generics for the Masses ([ Hinze](http://www.informatik.uni-bonn.de/~ralf/publications/ICFP04.pdf), ICFP 2004)
|
|
|
|
- Type-indexed datatypes ([ Hinze, Jeuring, Löh](http://www.cs.uu.nl/~johanj/publications/tidata.pdf), SoCP 2004)
|
|
|
|
- TemplateHaskell? is capable of this amongst other things
|
|
|
|
- external tools: [ DrIFT](http://repetae.net/~john/computer/haskell/DrIFT/), [ Strafunski](http://www.cs.vu.nl/Strafunski/)
|
|
|
|
- [ Generic Haskell](http://www.generic-haskell.org/) preprocessor
|
|
|
|
- fill out this list with some more…? |
