翻訳と辞書
Words near each other
・ 型式
・ 型式学
・ 型式学的研究法
・ 型式承認
・ 型式証明
・ 型式認証
・ 型彫
・ 型彫機
・ 型抜き
・ 型抜き絵本
型推論
・ 型月
・ 型板
・ 型枠
・ 型枠支保工
・ 型枠支保工の組立て等作業主任者
・ 型枠施工技能士
・ 型染め
・ 型油
・ 型流れ


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

型推論 : ミニ英和和英辞書
型推論[かたすいろん]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [かた]
 【名詞】 1. mold 2. mould 3. model 4. style 5. shape 6. data type 
推論 : [すいろん]
  1. (n,vs) inference 2. deduction 
: [ろん]
 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment

型推論 : ウィキペディア日本語版
型推論[かたすいろん]
型推論(かたすいろん)とはプログラミング言語の機能の1つで、静的な型付けを持つ言語において、変数関数を宣言しなくてもそれを導くのに使われた関数の型シグネチャなどから自動的に型を決定する機構のこと。
推論に失敗するとその時点でエラーを報告できるため、少なくとも誤った型を用いる事によるバグは回避できる。また、記述をアルゴリズムに集中できるのでプログラムの抽象度が上がるというメリットもある。
代表的な型推論アルゴリズムとして、Hindley/Milner 型推論アルゴリズムがある。各々著名なコンピュータ科学者の名前からつけられた名前であるが、Hindley は論理学者として型推論システムを先に開発した。
型推論を持つ言語としてはHaskellMLValaC#JavaScalaOCamlD言語Concurrent CleanC++11Swiftなどがある。静的型付け関数型言語のほとんどがなんらかの型推論の機能を持っている。
==非技術的な説明==
ほとんどの言語においては、関数仮引数および戻り値ローカル変数等は、それらがもつデータの種類を表すをもつ。実行時にならないと型がわからない言語を動的型付けの言語という。一方、コンパイル時に型がわかる言語を静的型付けの言語という。静的型付けの言語において、関数の仮引数および戻り値の型やローカル変数の型は、通常は明示的に表記する必要がある。例えば、次はC言語の例である。
int addone(int x)
関数定義の最初の行int addone(int x)では、addoneは整数一つを入力としてとり、整数を結果として出力する、と宣言している。int result;の行では、ローカル変数resultが整数型であることを宣言している。
型推論の機能がある言語では、例えば次のように書くことができるだろう。
addone(x)
この書き方は動的型付けの言語に非常によく似ているが、しかしながらすべての型はコンパイル時に定められる。この仮想的な例では、+演算子は常に二つの整数を一つの整数に変換する。これから、x+1の値が整数であることが型推論によって推論される。故にresultの型は整数であり、addoneの返り値が整数であることがわかる。同様に+演算子が入力として整数をとることからxが整数であることがわかり、addoneの引数の型が整数であることがわかる。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「型推論」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.