Changes between Version 16 and Version 17 of KindSystem


Ignore:
Timestamp:
Oct 17, 2008 2:22:21 PM (6 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{{{