Pet*_*lák 29 haskell type-inference ghc higher-rank-types
据我所知,对于秩2类型存在(仅)可判定类型检查算法.GHC是否以某种方式使用这一事实,它是否具有任何实际意义？
是否还存在秩-2类型的主要类型概念和类型推理算法？如果是,GHC会使用吗？
是否有秩2种以上秩任何其他优势ñ类型？
Phi*_* JF 28
原则上,类型检查对于等级2类型是可判定的.但是,这永远不会包含在GHC中(过于复杂,与类型系统的其他功能不能很好地混合).所以不行.不推荐使用Rank2Types(好吧,它不会给你一个警告,但它是)所以使用RankNTypes.