Rank-N types

From HaskellWiki
Revision as of 12:40, 9 July 2007 by MathematicalOrchid (talk | contribs) (+category)
Jump to navigation Jump to search


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.

Retrieved from "https://wiki.haskell.org/index.php?title=Rank-N_types&oldid=14102"