Changes between Version 6 and Version 7 of GhcKinds


Ignore:
Timestamp:
Aug 5, 2011 5:15:22 PM (3 years ago)
Author:
AudreyTang
Comment:

Clarify wording: "All datatype cannot be promoted" => "Not all datatypes can be promoted"

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds

    v6 v7  
    55== Theory == 
    66 
    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 higher-order kinds.  We add kind polymorphism to allow promotion of polymorphic data constructors (like {{{Nil}}} or {{{Cons}}}). 
     7We 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.  Not all data types can be promoted; for example, GADTs or data types with higher-order kinds cannot be promoted.  We add kind polymorphism to allow promotion of polymorphic data constructors (like {{{Nil}}} or {{{Cons}}}). 
    88 
    99More details can be found in [http://gallium.inria.fr/~jcretin/ghc/theory.pdf this theory pdf].