据我所知，（仅）针对 2 级类型存在可判定的类型检查算法。 GHC 是否以某种方式利用了这一事实，它有任何实际意义吗？
是否还有 2 级类型的主要类型概念和类型推断算法？如果是的话，GHC 使用它吗？
与Rank-2类型相比，Rank-2类型还有其他优势吗？n types?
原则上，类型检查对于 2 级类型是可判定的。但是，这永远不会包含在 GHC 中（过于复杂，与类型系统的其他功能不能很好地混合）。所以不行。 Rank2Types 已被弃用（好吧，它不会给您警告，但确实如此），因此请使用 RankNTypes。
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
