Type inference。変数の型の記述を省略したときにまわりのプログラムから型を推論すること。

C#やJavaには Int num = 1 を var num = 1; と書ける機能があり、これが型推論と呼ばれることがある。一方HaskellやOCamlでは関数の仮引数の型なども省略できるなど、Hindley-Milnerをベースにしたより強力な型推論が実装されている。

型再構築(Type reconstruction)という章で解説されている