型システム（静的型付け, 動的型付け, 強い型, 弱い型）

このカテゴリの用語

型共有英語表記: Type Sharing 概要型共有（Type Sharing）とは、大規模なソフトウェアシステムを構築・運用する際に、複数の異なるモジュールやサービス間で共通して使用されるデータ構造（型定義、イン […]

API の型バージョン英語表記: API Type Versioning 概要 API の型バージョン（API Type Versioning）とは、APIがクライアントとの間でやり取りするデータの構造（スキーマや型） […]

スキーマ進化英語表記: Schema Evolution 概要スキーマ進化とは、大規模システムにおいて、データ構造の定義（スキーマ）を、既存のシステムやデータとの互換性を保ちながら変更・更新していく手法や概念のことで […]

型カバレッジ英語表記: Type Coverage 概要型カバレッジは、静的型付けを採用したプログラミング言語環境において、コードベース全体の中で「型情報が明確に定義または推論されている部分の割合」を定量的に測定する […]

型検査の自動化英語表記: Automated Type Checking 概要型検査の自動化とは、プログラミング言語の型システムが持つルール（特に静的型付けのルール）に基づき、ソースコードの記述内容に型に関する矛盾が […]

型とユニットテスト英語表記: Types and Unit Tests 概要型とユニットテストは、ソフトウェア開発における品質保証を二重構造で実現する、非常に強力な手法です。特に、静的型付けを採用している言語において […]

ドメイン型英語表記: Domain Types 概要ドメイン型とは、プログラミングにおいて、汎用的なプリミティブ型（文字列や整数など）をそのまま使用せず、業務領域（ドメイン）の具体的な概念を反映した専用の型として定義 […]

値オブジェクト英語表記: Value Objects 概要値オブジェクトとは、その同一性が属性値によってのみ決定され、不変性（イミュータビリティ）を持つオブジェクトのことです。これは、プログラム内でプリミティブ型（文 […]

オプショナル型英語表記: Optional Types 概要オプショナル型（Optional Types）は、プログラミングにおいて「値が存在する（ある）」状態と「値が存在しない（ない）」状態を、他のデータ型とは区別 […]

動的コード生成英語表記: Dynamic Code Generation 概要動的コード生成（DCG）とは、プログラムの実行中、すなわちランタイムにおいて、その場の状況に応じて最適化された機械語や中間コードを新しく生 […]