Changes between Version 2 and Version 3 of GhcKinds
 Timestamp:
 Aug 3, 2011 10:22:18 AM (5 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

GhcKinds
v2 v3 7 7 We use the mechanism of promotion to lift a data type to the kind level. This gives access at the type level to the data constructors, and at the kind level to the type constructor. All data types cannot be promoted. For examples GADTs or data types with higherorder kinds. We add kind polymorphism to allow promotion of polymorphic data constructors (like {{{Nil}}} or {{{Cons}}}). 8 8 9 More details can be found on the [attachment:fcsep.pdf attachedpdf].9 More details can be found in [http://gallium.inria.fr/~jcretin/ghc/theory.pdf this theory pdf]. 10 10 11 11 == Examples == 12 12 13 Examples of reimplementation of existing Haskell librairies can be found in the [attachment:examples.pdfexamples pdf].13 Examples of reimplementation of existing Haskell librairies can be found in [http://gallium.inria.fr/~jcretin/ghc/examples.pdf this examples pdf]. 14 14 15 15 == Implementation ==