Tipo de datos ordinal

En programación informática , un tipo de dato ordinal es un tipo de dato cuya propiedad es que sus valores pueden contarse. Es decir, los valores pueden establecerse en una correspondencia uno a uno con los enteros positivos . ^{[ 1 ]} Por ejemplo, los caracteres son ordinales porque podemos llamar a 'A' el primer carácter, a 'B' el segundo, etc. El término se usa a menudo en programación para variables que pueden tomar uno de un número finito (a menudo pequeño) de valores. Si bien los valores suelen implementarse como enteros (o tipos similares como bytes), se les asignan nombres literales y el lenguaje de programación (y el compilador de ese lenguaje) puede garantizar que a las variables solo se les asignen esos literales.

Por ejemplo, en Pascal se puede definir:

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