翻訳と辞書
Words near each other
・ 静的スコープ
・ 静的ストレッチ
・ 静的フィールド
・ 静的プログラム解析
・ 静的メソッド
・ 静的リンク
・ 静的力
・ 静的単一代入
・ 静的単一代入形
・ 静的単一代入形式
静的型
・ 静的型付け
・ 静的姿勢
・ 静的安定度
・ 静的構造因子
・ 静的破砕剤
・ 静的筋力
・ 静的筋運動
・ 静的紡錘運動線維
・ 静石飛行場


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

静的型 : ミニ英和和英辞書
静的型[せいてき]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

静的 : [せいてき]
 (adj-na,n) static
: [まと, てき]
 【名詞】 1. mark 2. target 
: [かた]
 【名詞】 1. mold 2. mould 3. model 4. style 5. shape 6. data type 

静的型 ( リダイレクト:静的型付け ) : ウィキペディア日本語版
静的型付け[せいてきかたづけ]

静的型付け(せいてきかたづけ、)とは、プログラミング言語で書かれたプログラムにおいて、変数や、サブルーチン引数や返り値などの値について、そのが、コンパイル時など、そのプログラムの実行よりも前にあらかじめ決められている、という型システムの性質のことである。
また、そのような性質の言語を、静的型付き言語(せいてきかたつきげんご、)という。これに対し、型は実行時の実際の値による、というのが動的型付けである。型推論を利用していて、構文上は型の記述が省略可能な言語もあるが、そういった言語も静的型付けである(MLなど)。
一口に静的型と言ってもその実体は言語により様々である。手続き型オブジェクト指向言語の多くでは、静的に型が付いていても、キャストなどによりインスタンスの妥当性は保証されない。より制限の強い言語であっても、ミュータブルな値により不正参照などのリスクが残されている。また静的型でもリフレクションを多用する設計を行なうと、実質的に動的型とほとんど変わらないスタイルになることから、静的と動的の境目は必ずしも明確でない場合があるといえる。
これに対し、静的型の関数型言語では、キャストなどを基本的に許さず、不正なデータを処理する関数が原理的に書けないため、ほぼインスタンスの妥当性も保証されることになる。これをもって関数型言語の支持者は「ほぼ全てのバグを型エラーにより検出する事が可能」と提案している。
一般的な傾向として、大規模プログラミングやシステム記述用の言語は静的な型付けを行なうものが多い。
==関連項目==

*副作用 (プログラム)



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




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

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