型推論
Type inference。変数の型の記述を省略したときにまわりのプログラムから型を推論すること。
C#
や
Java
には
Int num = 1
を
var num = 1;
と書ける機能があり、これが型推論と呼ばれることがある。一方
Haskell
や
OCaml
では関数の仮引数の型なども省略できるなど、
Hindley-Milner
をベースにしたより強力な型推論が実装されている。
型推論に関するリソース
TAPL
型再構築(Type reconstruction)という章で解説されている
俺々言語にだって型推論が欲しい！