「型推論」の版間の差分

2014年6月2日 (月) 08:29時点における最新版

型推論（読み：かたすいろん）とは、一部のプログラミング言語に搭載されている機能で、変数の型を初回利用時から決定するという機能である。

型推論は動的型付けと似ているが、プログラムを実際に動かさなくても、ソースコードのレベルで型を決定できる点で大きく異なる。

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

	この項目「型推論」は、まだ書きかけの項目です。加筆、訂正などをして下さる協力者を求めています。
このテンプレートは分野別のスタブテンプレート（Monobook:スタブカテゴリ参照）に変更することが望まれています。

@@ 2行目: / 2行目: @@
 ==概要==
-型推論は動的型付けと似ているが、[[プログラム]]を実際に動かさなくても、[[ソースコード]]のレベルで[[型]]を決定できる点で大きく異なる。
+型推論は[[動的型付け]]と似ているが、[[プログラム]]を実際に動かさなくても、[[ソースコード]]のレベルで[[型]]を決定できる点で大きく異なる。
 [[C Sharp|C#]]などのように型推論と[[動的型付け]]の両方を搭載している[[プログラミング言語]]もあることからも解るように、どちらが優れているというものではなく、時と場合により使い分けるべきものである。