Rank2Typesを使ってRankNTypesを使う利点はありますか？

Question

私が知る限り、ランク2型のための決定可能な型チェックアルゴリズムが存在します。 GHCはこの事実を何らかの形で利用していますか？それには実用的な意味がありますか？

ランク2型と型推論アルゴリズムのプリンシパル型の概念もありますか？はいの場合、GHCはそれを使用しますか？

階数2以上の他の利点はありますか？nの種類はありますか？

Answer 1

Rank2Typesは、RankNTypesの場合、synonymです。だから今すぐランクnのランク2の利点はありません。

Answer 2

原則として、タイプチェックはランク2のタイプでは決定可能です。しかし、これは決してGHCに含まれることはありませんでした（過度に複雑で、タイプシステムの他の機能とうまく組み合わせられません）。そうではありません。 Rank2Typesは推奨されていません（大丈夫ですが、警告は表示されませんが、RankNTypesを使用してください）。