Changes between Version 4 and Version 5 of Rank2Types


Ignore:
Timestamp:
Dec 2, 2005 11:34:18 PM (10 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Rank2Types

    v4 v5  
    1 = Rank 2 Types =
     1= Rank-2 Types =
    22[[PageOutline]]
    33
     
    3131== Pros ==
    3232 * simple type inference
    33  * offered by GHC and Hugs for more than 15 years
     33 * offered by GHC and Hugs for years
    3434 * enables [http://www.haskell.org/ghc/docs/latest/html/libraries/base/Control-Monad-ST.html runST] and similar devices
    3535 * used in cheap deforestation
     36 * useful with non-regular (or nested) types
     37 * useful with PolymorphicComponents
    3638
    3739== Cons ==