Hindley-Milner
Hindley–Milner type system - Wikipedia
OCaml
・
Haskell
の型推論の基礎になっている。また
Rust
も関数単位でHM型推論を行う(
Rustの型推論の概略 - 簡潔なQ
)
Hindley-Milner型推論 - mrsekut-p