Changes between Version 2 and Version 3 of PolymorphicKinds


Ignore:
Timestamp:
Oct 16, 2008 3:29:54 PM (6 years ago)
Author:
TristanAllwood
Comment:

implementation thoughts

Legend:

Unmodified
Added
Removed
Modified
  • PolymorphicKinds

    v2 v3  
    22 
    33Currently thinking about adding '''Polymorphic Kinds''' to GHC... 
    4 (Currently very WIPish) 
     4(Currently very WIP) 
    55 
    66== Example: At the term level == 
     
    121121=== Option 2: Explicit kind variables === 
    122122 
    123 Here reusing {{{forall}} is probably safe, although possibly inconsistent if we go for {{{forall_kind}}} (or other) as a term level quantifier... 
     123Here reusing {{{forall}}} is probably safe, although possibly inconsistent if we go for {{{forall_kind}}} (or other) as a term level quantifier... 
    124124 
    125125{{{ 
     
    160160== Syntax of Types == 
    161161 
    162 Type syntax need to be extended with a new binder. 
     162Type syntax needs to be extended with a new binder. 
    163163 
    164164 
    165165== Implementation route == 
    166 ... 
     166 
     167Places that would be hit (TODO): 
     168 
     169* Parser 
     170  * New Language Flag {-# PolymorphicKinds #-} ? 
     171  * Syntax of kinds 
     172  * Possibly syntax of function types 
     173 
     174* Type checker 
     175 
     176* Core / Core Lint 
     177 
     178* Module interfaces 
     179  * To expose kind-quantified variables (does this drop out of any other change) 
     180 
     181* Test cases 
    167182 
    168183