最終更新日：2025/11/28

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

音声機能が動作しない場合はこちらをご確認ください

正解を見る

type inference

元となった辞書の項目

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 ）