type inference

名詞

可算名詞不可算名詞

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

日本語の意味

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

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

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

意味（1）

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

type inferences

（ plural ）