抽象性/モジュール性の確立
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/30 09:44 UTC 版)
「型システム」の記事における「抽象性/モジュール性の確立」の解説
型によってプログラマは低レベルでの実装に煩わされずにより高レベルで考えることができるようになる。これはプログラム設計に適切な抽象化をもたらす。例えば文字列型によってプログラマは文字列を文字列として、単なるバイトの列ではないものとして考えることができる。 また型によって複数のデータ構造の間の依存関係を明確にすることができ、さらに上位レベルでは複数のサブシステム間のインタフェースを表現することができる。これはサブシステムの相互運用性に必要な定義を局所化し、それらのサブシステムが通信する際に起きる矛盾を防止するなど、モジュール性の向上に貢献する。
※この「抽象性/モジュール性の確立」の解説は、「型システム」の解説の一部です。
「抽象性/モジュール性の確立」を含む「型システム」の記事については、「型システム」の概要を参照ください。
ウィキペディア小見出し辞書の「抽象性/モジュール性の確立」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 抽象性/モジュール性の確立のページへのリンク
