使用Rank2Types有利于RankNTypes有什么好处吗？

Question

据我所知，对于rank-2类型存在（仅）可判定类型检查算法。 GHC是否以某种方式使用这一事实，它是否具有任何实际意义？

是否还存在rank-2类型的主要类型概念和类型推理算法？如果是，GHC会使用吗？

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

Answer 1

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

Answer 2

Rank2Types是RankNTypes的{​​{3}}。所以现在秩-2比Rank-n没有优势。