Changes between Version 2 and Version 3 of PolymorphicKinds


Ignore:
Timestamp:
Oct 16, 2008 3:29:54 PM (7 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