generated at
Hindley-Milner 型システム
Hindley–Milner type system
1969年にJ. Roger Hindleyが、1978年にRobin Milnerが、それぞれ独立に発表した型システム
多相型付きラムダ計算
ラムダ抽象のみから適切な型を推論できる
パラメトリック多相

論文
The Principal Type-Scheme of an Object in Combinatory Logic
初出、Hindley著
A Theory of Type Polymorphism in Programming
再発見、Milner著
Algorithm Wの提案
Parametric overloading in polymorphic programming languages
Luis Darnas
Robin Milner
1988
この型推論が完全性を満たすことを証明 ref


特徴
完全生を満たす
型注釈無しで型推論が可能


参考
Hindley–Milner type system - Wikipedia


>#WIP



MLやHaskellの型推論の基礎になっている


Algorithm W
効率の悪い実装
Algorithm J
効率的な実装
https://en.wikipedia.org/wiki/Hindley–Milner_type_system#Algorithm_J




https://otter-o.hatenadiary.org/entry/20080513/1210662856