目次:
定義-型推論とはどういう意味ですか？
型推論は、プログラミング言語の特定の式のデータ型の自動推論であり、通常はコンパイル時に行われます。 プログラムを分析し、そのプログラム内の一部またはすべての式の異なるタイプを推測することにより、プログラマーがプログラムで変数を使用するたびにデータタイプを明示的に入力および定義する必要がなくなります。Techopediaは型推論を説明します
型推論は多くの場合、オブジェクト指向言語ではなく、関数型プログラミング言語のコンパイラ機能です。 コンパイラーまたはインタープリターは、変数または式のデータ型が何であるかを把握するために、最小限の情報とコンテキストのみを必要とします。
推論アルゴリズムは、戻り値の型だけでなく引数の型も決定しようとし、次にすべての引数で機能する最も具体的なデータ型を見つけようとします。 基本的な例として、関数Foo（a、b）= x + y;を考えます。 コンパイラーは、「+」演算子が2つの整数を取り、整数を返すことを知っているため、コンパイラーまたはインタープリターはFooにも整数型があると推測できます。
