基礎文法

型推論

概要

型を明示的に書かなくても、コンパイラなどが自動的に型を判断する仕組み。

代入される値や文脈から、コンパイラが変数の型を自動的に決定する仕組み。記述量を減らしつつ静的型付けの恩恵を得られる。多くの言語では宣言と同時に初期化されていないと型を推論できないため、TypeScriptのletやC#のvarのような型推論変数は宣言時の初期化が事実上必須になる。