Difference between revisions of "Rank-N types"
Jump to navigation
Jump to search
(Can somebody add some content here?) |
(No difference)
|
Revision as of 12:05, 9 July 2007
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.
Also see
Rank-N types on the Haskell' website.