データ型（コンピュータサイエンス）

一般的な分類と例

型は一般に、プリミティブ型と複合型に分類されます。プリミティブ型は基本的な構成要素であり、複合型はプリミティブ型を集約または整理したものです。

• プリミティブ型: 整数、浮動小数点数、文字、真偽値。
• 複合型: 配列、レコード／構造体、タプル、リスト、マップ／辞書。
• 抽象型・ユーザー定義型: クラス、インターフェース、代数的データ型、列挙型。

歴史と発展

型は、コンパイラとプログラマがデータについて考察しやすくするため、初期のプログラミング言語で生まれました。その後、言語には多相性、ジェネリクス、型推論、代数的型など、より豊かな型システムが導入されました。これにより、意図を表現し、エラーをより早く検出し、最適化を可能にします。

用途と実用上の重要性

データ型には複数の目的があります。不適切な操作を防いでプログラムの正しさを確保すること、メモリ配置や最適化を導くこと、インターフェースを文書化すること、静的解析器や統合開発環境などのツールを可能にすることです。データ型は、低水準・高水準のプログラミングの双方において、性能、相互運用性、安全性に影響します。

区別と注目すべき概念

重要な区別として、型をいつ検査するかという静的型付けと動的型付け、変換をどの程度厳密に制御するかという強い型付けと弱い型付け、互換性の決め方である名前的型付けと構造的型付け、安全な操作と安全でない操作があります。現代の言語では、型推論を備えた静的システムや、任意の型注釈を持つ動的言語のように、複数の手法が組み合わされています。

データ型を理解することは、開発者が表現方法を選び、バグを避け、明確なインターフェースを設計する助けとなります。より深く学ぶには、型理論が形式的な基礎を扱い、実用的な言語ドキュメントが個別の型規則と動作を説明します。