Changes between Version 4 and Version 5 of DerivedInstances


Ignore:
Timestamp:
Jan 19, 2006 2:26:18 PM (8 years ago)
Author:
malcolm.wallace@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DerivedInstances

    v4 v5  
    1616There are various extant proposals to enable the user-specification of the derivation of class instances. 
    1717  * NewtypeDeriving 
    18   * Polytypic Programming ([http://www.cs.uu.nl/~johanj/publications/notes.ps Jeuring and Jansson], AFP 1996) 
    19   * Generic FP (Hinze, [http://www.informatik.uni-bonn.de/~ralf/publications/POPL00.ps.gz PoPL 2000], [http://www.informatik.uni-bonn.de/~ralf/publications/HW99.ps.gz Haskell Workshop 1999]) 
     18  * PolyP ([http://www.cs.uu.nl/~johanj/publications/notes.ps Jeuring and Jansson], AFP 1996) 
     19  * ghc -fgenerics (Hinze, [http://www.informatik.uni-bonn.de/~ralf/publications/POPL00.ps.gz PoPL 2000], [http://www.informatik.uni-bonn.de/~ralf/publications/HW99.ps.gz Haskell Workshop 1999], [http://www.informatik.uni-bonn.de/~ralf/publications/HW00.ps.gz Haskell Workshop 2000]) 
    2020  * Lightweight Generics ([http://www.informatik.uni-bonn.de/~ralf/publications/HW2002.pdf Cheney and Hinze], Haskell Workshop 2002) 
    2121  * Scrap your Boilerplate ([http://www.cs.vu.nl/boilerplate/ Lämmel and Peyton Jones], TLDI 2003 etc) 
     
    2323  * Type-indexed datatypes ([http://www.cs.uu.nl/~johanj/publications/tidata.pdf Hinze, Jeuring, Löh], SoCP 2004) 
    2424  * TemplateHaskell is capable of this amongst other things 
     25  * external tools: [http://repetae.net/~john/computer/haskell/DrIFT/ DrIFT], [http://www.cs.vu.nl/Strafunski/ Strafunski] 
     26  * [http://www.generic-haskell.org/ Generic Haskell] preprocessor 
    2527  * fill out this list with some more...?