haskell - 使用 Rank2Types 代替 RankNTypes 有什么优势吗？

Question

据我所知，可判定的类型检查算法（仅）存在于 rank-2 类型。GHC 是否以某种方式使用了这个事实，它有什么实际意义吗？

是否还有 rank-2 类型的主要类型的概念，以及类型推断算法？如果是，GHC 是否使用它？

与 rank- n类型相比，rank-2 类型还有其他优势吗？

Answer 1

原则上，类型检查可确定为等级 2 类型。但是，这永远不会包含在 GHC 中（过于复杂，不能与类型系统的其他功能很好地混合）。所以不行。Rank2Types 已被弃用（好吧，它不会给你警告，但确实如此）所以使用 RankNTypes。

Answer 2

Rank2Types是的同义词。RankNTypes所以现在rank-2 没有 rank-n 的优势。