関数型言語の型推論を行うためのよく知られたDamas-Hindley-Milner アルゴリズムに関する情報、特に実装に関する情報を探しています。
アルゴリズム Wの実行方法は既に知っていますが、通常の統合ではなく、制約ジェネレーター/ソルバーに基づく最近の新しいアルゴリズムについて聞いたことがあります。ただし、これらの新しいアルゴリズムの実装に関する議論を見つけることができません。
ML 推論に関する部分的な情報を見つけることができるアイデアはありますか?
4364 次
1 に答える
19
ML コードに慣れている場合、これらを見つける最善の方法は、実際の実装を調べることです。優れたリファレンス実装はHaMLet です。これは、本番環境の実装ではなく、テスト プラットフォームとして設計されています。
これらの問題に関する最近の真剣な議論のほとんどは、学術的な場で行われる予定です。興味深いかもしれない 1 つの論文はGeneralising Hindley-Milner type inference algorithmです。
また、Pierce の「 Types and Programming Languages」、および Appel の「Modern Compiler Implementation in ML 」におけるさまざまな型システム (let ポリモーフィズムを含む) の実装は、アルゴリズム W のバニラの記述よりも、これを実装するための最新のアプローチとより密接に一致しています。
于 2010-09-04T11:08:50.873 に答える