Adaの強い型付け

構造が同じでも別名で宣言した型を別の型として扱い、暗黙の混用をコンパイルエラーにするAdaの型システムの性質。

概念URI

https://comcomponent.com/knowledge/ada-strong-typing/

別名・表記

strong typing

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• Ada(プログラミング言語)はAdaの強い型付けの実装を担います。Adaは構造が同じでも別名で宣言した型を別の型として扱う強い型付けを実装しており、単位を表す型同士の混用をコンパイルエラーにする。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Adaの強い型付けはMars Climate Orbiterの喪失を防ぎます。メートルとフィートのような単位の異なる型を別の型にして混ぜたらコンパイルエラーにするAdaの発想は、Mars Climate Orbiterのような単位取り違えによる喪失を防ぐという設計思想の動機になっている。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典

この概念を扱う記事

• Ada言語の魅力 ── 型で設計を語り、数十年動き続けるソフトウェアを支える言語(言及)

一次資料

• https://ada-lang.io/docs/arm/AA-3/AA-3.2/

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。