Rank-N types
From HaskellWiki
(Difference between revisions)
m (+category) |
m (+category) |
||
| Line 1: | Line 1: | ||
[[Category:Language extensions]] | [[Category:Language extensions]] | ||
| + | [[Category:Stub articles]] | ||
== About == | == About == | ||
Revision as of 12:40, 9 July 2007
1 About
As best as I can tell, rank-N types are exactly like existential types - except that they're completely different.
Rank-2 types are a special case of rank-N types, and normal Haskell 98 types are all rank-1 types.
2 Also see
Rank-N types on the Haskell' website.
