使用Rank2Types支持RankNTypes有什麼優勢嗎？

Question

據我所知，一個可判定的類型檢查算法僅存在於rank-2類型中。 GHC是否以某種方式使用了這個事實，它是否有任何實際意義？

是否還有等級2類型的主要類型的概念以及類型推斷算法？如果是，GHC是否使用它？

rank-2類型比rank-n類型還有其他什麼優勢嗎？

Answer 1

Rank2Types對於RankNTypes是synonym。所以現在沒有rank-2優於rank-n的優勢。

Answer 2

原則上，類型檢查對於等級2類型是可判定的。但是，這絕不會包含在GHC中（過於複雜，不能與類型系統的其他功能相配合）。所以不行。 Rank2Types已被棄用（好吧，它不會給你一個警告，但它是），所以使用RankNTypes。