マイクロソフト用語集

日本マイクロソフト株式会社

type inference

対訳 型の推定

解説
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

コンピューター用語辞典

日外アソシエーツ株式会社

type inference

型推論

データ型が明示されていない場合に,文脈などからそれを推論すること.

JST科学技術用語日英対訳辞書

独立行政法人科学技術振興機構

type inference

型推論; タイプ推論

日英・英日専門用語辞書

日中韓辭典研究所

type inference

型推論

Weblio英和対訳辞書

英和辞典・和英辞典 - Weblio辞書

type inference

型推論

Type inference

型推論
型推論（かたすいろん、英: type inference）とはプログラミング言語の機能の1つで、静的な型付けを持つ言語において、変数や関数シグネチャの型を明示的に宣言しなくても、変数宣言における初期化のための初期値や、関数呼び出しにおける実引数などといった、周辺情報および文脈などから自動的に（暗黙的に）各々の型を決定する機構のこと。
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

Wiktionary英語版

出典：Wiktionary

type inference

出典:『Wiktionary』 (2017/02/28 08:12 UTC 版)

名詞

type inference (countable かつ uncountable, 複数形 type inferences)

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

反意語

ウィキペディア英語版

出典：Wikipedia

Type inference

出典:『Wikipedia』 (2011/07/29 07:47 UTC 版)

英語による解説

ウィキペディア英語版からの引用
引用

Type inference refers to the automatic deduction of the type of an expression in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of — but not limited to — functional programming languages in general. Some languages that include type inference are Visual Basic (starting with version 9.0), C# (starting with version 3.0), D, Clean, Haskell, ML, OCaml, Scala. This feature is also planned for C++0x and Perl 6. The ability to infer types automatically makes many programming tasks easier, leaving the programmer free to omit type annotations while still permitting type checking.

type inferenceのページの著作権