Changes between Version 1 and Version 2 of Rank2Types


Ignore:
Timestamp:
Nov 29, 2005 7:49:19 PM (10 years ago)
Author:
loeh@…
Comment:

small discussion point regarding the relation of PolymorphicComponents and Rank2Types

Legend:

Unmodified
Added
Removed
Modified
  • Rank2Types

    v1 v2  
    1616== Pros ==
    1717 * may be seen as syntactic sugar for PolymorphicComponents
     18
     19   In my opinion rank 2 types are a prerequisite for [wiki:PolymorphicComponents], because in the
     20   presence of polymorphic components, the constructors of data types already have rank 2 types. -- Andres
     21 
    1822 * simple type inference
    1923 * enables `runST` and similar devices