Personal tools

Rank-N types

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(Can somebody add some content here?)
 
m (+category)
Line 1: Line 1:
  +
[[Category:Language extensions]]
  +
 
== About ==
 
== About ==
   

Revision as of 12:05, 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.