命令型言語の型システムに関する研究論文を探していると、変更可能な参照を持ち、複合演算子、ループ、条件などの真の命令型制御構造を持たない言語の解決策しか見つかりません。
そのため、 http://rust-lang.orgのような部分的な型推論を伴う命令型言語をどのように実装できるかは明らかではありません。
List of aパラメータ化された型は Hindley-Milner 型システムの自明な拡張であるため、これらの論文ではパラメータ化された型について言及していません。拡張する必要があるのは統一アルゴリズムのみであり、残りの推論はそのまま機能します。ただし、パラドックスが発生するため割り当てを自明に追加することはできないため、ML 値の制限などの特別な手法を適用する必要があります。
命令型ループ、条件文、IO、および複合文を含む言語の型システムについて説明しているパーラーまたは本をお勧めできますか?