私の知る限り、決定可能な型チェック アルゴリズムは (のみ) ランク 2 の型に存在します。GHC は何らかの形でこの事実を利用していますか? また、実際的な意味合いはありますか?
ランク 2 型のプリンシパル型と型推論アルゴリズムの概念もありますか? はいの場合、GHC はそれを使用しますか?
ランクn型に対するランク 2 型の利点は他にありますか?
質問する
955 次
2 に答える
28
原則として、ランク 2 の型に対して型チェックが決定可能です。しかし、それが GHC に含まれることはありませんでした (過度に複雑で、型システムの他の機能とうまく混ざりません)。いいえ。Rank2Types は非推奨です (警告は表示されませんが、警告は表示されます) ので、RankNTypes を使用してください。
于 2013-02-22T09:28:25.243 に答える
25
Rank2Typesの同義語ですRankNTypes。したがって、現時点では、ランク n に対するランク 2 の利点はありません。
于 2013-02-22T09:16:12.803 に答える