データの種類。

プログラミングで使用される 概念で、情報の種類を表す語。

プログラミング言語によって分類のしかたが異なる。

通常のプログラミング言語では、文字型・整数型・浮動小数点型・実数型・文字列型などがある。

プログラミング（programming）

型理論（Type theory） -- for the mathematical models of types

型システム（type system） -- for different choices in programming language typing

メタ情報 -- データ型を表す情報はメタ情報である。

制限 -- データ型には何らかの制限がある。

データ構造（data structure）

インスタンス（instance）

変数（variable）

総称型（generic type）

抽象データ型（ADT : abstract data type）

再帰データ型（Recursive Type）

データ辞書（data dictionary）

関数型プログラミング（functional programming）

カインド（kind）