型推論
Type Inference
型推論（かたすいろん、英: type inference）とはプログラミング言語の機能の1つで、静的な型付けを持つ言語において、変数や関数シグネチャの型を明示的に宣言しなくても、初期化のための代入式の右辺値や関数呼び出し時の実引数などといった、周辺情報および文脈などから自動的に（暗黙的に）各々の型を決定する機構のこと。
https://ja.wikipedia.org/wiki/型推論
OCaml
,
Rust
,
Swift
,
Java
,
C#
,
TypeScript
,
Haskell
,
Scala
などで実装されている
推論を実現する代表的なアルゴリズムとして
Hindley/Milner型推論
が知られている
推論される型は記述しないことが多い