型代入を遅延する最適化型推論アルゴリズム
2008 年 25 巻 2 号 p. 2_101-2_113
詳細
2008 年 25 巻 2 号 p. 2_101-2_113
多相型型推論は型付き関数型言語のコンパイルステップの中でも最も複雑かつ時間を要する処理の1つであるにもかかわらず，その最適化方式や最適化による効果などはあまり研究されていない．多相型型推論問題の最悪のケースを考慮したアルゴリズム論的な複雑さはDEXPTIME完全であることが示されており，アルゴリズム論的な改善の余地はないが，宣言的でかつ現実の多くのプログラムに対してより効率よく動く型推論アルゴリズムの開発は，多相型プログラミング言語の設計と実装にとって重要な課題である．本稿では，型の代入を型変数が参照されるまで遅延するという考え方に基づく新しい型推論アルゴリズムDWを提案し，その健全性を証明する．DWは，多くの場合型の代入の計算を軽減でき，従来の型推論アルゴリズムWと比較して実用上より効率的であると期待できる．本稿ではさらに，そのアルゴリズムをStandard MLの型言語に対して実装し，ベンチマークテストを通じその実用性を検証するとともに，実用的なコンパイラへ採用する上での課題に関して議論する．
