Generic Haskell is an actively used programming language created in 2000. Since datatypes often change and new datatypes are introduced, we have developed Generic HASKELL which supports generic definitions to save the programmer from (re)writing instances of generic functions. Generic HASKELL extends the functional programming language Haskell  with, among other things, a construct for defining type-indexed values with kind-indexed types, based on recent work by Hinze . These values can be specialised to all Haskell datatypes, facilitating wider application of generic programming than provided by earlier systems such as PolyP
- Generic Haskell first appeared in 2000
- Have a question about Generic Haskell not answered here? Email me and let me know how I can help.
Last updated February 18th, 2020