順序データ型

コンピュータプログラミングにおいて、順序データ型とは、その値が数えられるという性質を持つデータ型のことです。つまり、値を正の整数と1対1に対応させることができます。^{[ 1 ]}例えば、文字は順序型です。なぜなら、「A」を最初の文字、「B」を2番目の文字などと呼べるからです。この用語は、有限個（多くの場合小さい）の値のいずれかを取ることができる変数に対して、プログラミングでよく使われます。値は整数（またはバイトなどの類似の型）として実装されることが多いですが、リテラル名が割り当てられ、プログラミング言語（およびその言語のコンパイラ）は、変数にこれらのリテラルのみを割り当てることを強制できます。

例えば、Pascalでは以下のように定義できます。

var x : 1 .. 10 ; y : 'a' .. 'z' ;