Changes between Version 46 and Version 47 of Status/Oct11


Ignore:
Timestamp:
Dec 16, 2011 4:20:25 PM (4 years ago)
Author:
guest
Comment:

Fix typo

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct11

    v46 v47  
    1515
    1616 * '''Data type promotion and kind polymorphism.'''  As we do more and more type-level programming, the lack of a decent kind system (to make sure that your type-level programs make sense) has become an increasingly pressing issue.  If all goes well, GHC 7.4 will take a substantial step forward:
    17    * First, all simple data types (including lists and tuples) will automatically be "promoted" to be kinds as well, a design inspired by Conor !McBride's Strachclyde Haskell Extension [[http://personal.cis.strath.ac.uk/~conor/pub/she/ SHE]].  For example:
     17   * First, all simple data types (including lists and tuples) will automatically be "promoted" to be kinds as well, a design inspired by Conor !McBride's Strathclyde Haskell Extension [[http://personal.cis.strath.ac.uk/~conor/pub/she/ SHE]].  For example:
    1818{{{
    1919type family F :: Bool -> *