型推論

型推論（読み：かたすいろん）とは、一部の静的型付けなプログラミング言語に搭載されている機能で、変数の型を推論することで静的型付けっぽく利用できるという機能です。

概要

 // 整数と推論
 var x = 0;

 // 単精度浮動小数点と推論
 var y = 0f;

 // 文字列と推論
 var z = "abc";

動的型付けと似ていますが、型推論では一度確定した型は変更できないという点が異なります。

var a = 0;
a = "abc"; // エラー、これはできない。

一方、動的型付けでは数値型だった変数に後から文字列をぶち込んだりできてしまいます。

$a = 0;
$a = "abc";

C#などのように型推論と動的型付けの両方を搭載しているプログラミング言語もあることからも解るように、どちらが優れているというものではなく、時と場合により使い分けるべきものである。