Changes between Version 16 and Version 17 of KindSystem


Ignore:
Timestamp:
Oct 17, 2008 2:22:21 PM (7 years ago)
Author:
TristanAllwood
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • KindSystem

    v16 v17  
    11= A Kind System for GHC =
    22
    3 Currently thinking about adding a more expressive '''Kind System''' to GHC.  This document is currently very WIP and does feature mistakes...
     3Currently thinking about adding a more expressive '''Kind System''' to GHC.  This page is currently a WIP ...
    44
    55== Rationale ==
     
    115115In the above, {{{n}}} would be inferred to have kind {{{Nat}}} and {{{a}}} would have kind {{{*}}}.
    116116
    117 == Interaction with GADTs ==
    118 
    119 GADTs can already be annotated with a mixture of names with optional explicit kind signatures and just kind signatures. These kind signatures would now be able to refer to the newly declared, non-* kinds.  However the ultimate kind of a GADT must still be {{{*}}}. i.e.
     117== Interaction with (G)ADTs ==
     118
     119(G)ADTs can already be annotated with a mixture of names with optional explicit kind signatures and just kind signatures. These kind signatures would now be able to refer to the newly declared, non-* kinds.  However the ultimate kind of a (G)ADT must still be {{{*}}}. i.e.
    120120
    121121{{{