名前的型付けと構造的型付けとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 名前的型付けと構造的型付けの意味・解説 

名前的型付けと構造的型付け

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/30 09:44 UTC 版)

型システム」の記事における「名前的型付けと構造的型付け」の解説

「:en:Nominal type system」および「:en:Structural type system」も参照 名前的(nominal)と構造的(structural)は、静的/動的型付けでのプログラム要素の型を識別identify)する際の性質である。 名前的型付けとは、システム保持しているプログラム要素参照情報上の型の名前を見てデータ値の型を識別するスタイルである。 構造的型付けとは、参照情報上の型の名前を見ないで、データ本体分析データ値の型を識別するスタイルである。ただし、データ集合分解して行き着くリテラルの型識別事実上の名前的型付けになる。例え構造体では、フィールド構造(各フィールド型の種類順序)が一致しているならばフィールド名が違っても同じ型と判定される構造的型付けは、部分型判定にも多用される例えオブジェクトでは、特定の関数/手続き構造双方所持しているならば、その部分型での等価見なされる特定のフィールド構造双方所持している場合も同様である。

※この「名前的型付けと構造的型付け」の解説は、「型システム」の解説の一部です。
「名前的型付けと構造的型付け」を含む「型システム」の記事については、「型システム」の概要を参照ください。

ウィキペディア小見出し辞書の「名前的型付けと構造的型付け」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「名前的型付けと構造的型付け」の関連用語

名前的型付けと構造的型付けのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



名前的型付けと構造的型付けのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの型システム (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS