Damas-Hindley-Milnerタイプの推論アルゴリズムの実装

Question

よく知られている情報を探しています Damas-Hindley-Milnerアルゴリズム機能的言語、特に実装に関する情報のタイプ推論を行う。

私はすでに行う方法を知っています アルゴリズムw, 、しかし、私は通常の統一ではなく、制約ジェネレーター/ソルバーに基づいた最近の新しいアルゴリズムについて聞いた。ただし、これらの新しいアルゴリズムの実装に関する議論を見つけることができません。

ML推論に関する部分的な情報を見つけることができる場所はありますか？

Answer 1

MLコードに満足している場合、これらのことを見つける最良の方法は、単に野生の実装を調べることです。優れた参照実装はです ハムレット, 、生産の実装ではなく、より多くのテストプラットフォームとして設計されています。

これらの問題に関する最近のほとんどすべての議論は、学術会場にあります。興味深いかもしれない1つの論文があります Hindley-Milnerタイプの推論アルゴリズムの一般化.

また、Pierce'sのさまざまなタイプシステム（Let Polymorphismを含む）の実装」タイプとプログラミング言語「、アペルと同様に」MLでの最新のコンパイラ実装「アルゴリズムWのバニラの説明よりも、これを実装するための最新のアプローチに密接に一致しています。