データ型
データの種類。
プログラミングで使用される 概念で、情報の種類を表す語。
プログラミング言語によって分類のしかたが異なる。
通常のプログラミング言語では、文字型・整数型・浮動小数点型・実数型・文字列型などがある。
data type
プログラミング（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）
データ型 - Wikipedia
Data type - Wikipedia