型推論
静的型付けを持つ言語に置いて、型を明示的に宣言しなくても周辺情報などから暗黙的に型を決定する機構