type inference

countable uncountable

(software) The automatic deduction of the type of an expression in a programming language.

Japanese Meaning

型推論: プログラミング言語において、式などの型が明示的な宣言なしに自動的に推定される仕組み / （ソフトウェア用語）プログラム中で、コンパイラやインタプリタが変数や式の型を自動的に決定する機能

Modern functional languages rely on type inference to reduce the burden of explicit annotations.

最新の関数型言語は、明示的な注釈の負担を減らすために型推論に依存している。

Sense（1）

(software) The automatic deduction of the type of an expression in a programming language.

type inferences

（ plural ）