差分
型推論
,'''型推論'''（読み：かたすいろん）とは、一部の[[プログラミング言語]]に搭載されている機能で、[[変数]]の[[型]]を初回利用時から決定するという機能である。
==概要==
型推論は動的型付けと似ているが、[[プログラム]]を実際に動かさなくても、[[ソースコード]]のレベルで[[型]]を決定できる点で大きく異なる。
[[C Sharp|C#]]などのように型推論と[[動的型付け]]の両方を搭載している[[プログラミング言語]]もあることからも解るように、どちらが優れているというものではなく、時と場合により使い分けるべきものである。
==関連項目==
*[[動的型付け]]
==参考文献==
{{reflist}}
{{stub}}
==概要==
型推論は動的型付けと似ているが、[[プログラム]]を実際に動かさなくても、[[ソースコード]]のレベルで[[型]]を決定できる点で大きく異なる。
[[C Sharp|C#]]などのように型推論と[[動的型付け]]の両方を搭載している[[プログラミング言語]]もあることからも解るように、どちらが優れているというものではなく、時と場合により使い分けるべきものである。
==関連項目==
*[[動的型付け]]
==参考文献==
{{reflist}}
{{stub}}