我对Haskell并不十分精通,所以这可能是一个非常简单的问题.
Rank2Types解决了什么语言限制？Haskell中的函数是否已经支持多态参数？
polymorphism haskell types higher-rank-types
我们习惯于为多态函数提供普遍量化的类型.存在量化类型的使用频率较低.我们如何使用通用型量词来表达存在量化类型？
haskell functional-programming existential-type higher-rank-types
haskell ×2
higher-rank-types ×2
existential-type ×1
functional-programming ×1
polymorphism ×1
types ×1