Zdefiniowanie pojęcia typu porządkowego w pewnych językach programowania zostało dokonane w celu określenia tych typów, które mogą być zastosowane w pewnych konkretnych kontekstach kodu źródłowego. Są to: zmienne sterujące operacje następnika i poprzednika (np. w Pascalu: succ() i pred()) operacje inkrementacji i dekrementacji (np. w CJan Bielecki, Turbo C z grafiką na IBM PC, Wydawnictwa Naukowo-Techniczne, Warszawa 1990, Seria: Mikrokomputery, : ++, --) indeksowanie tablic, itp.
W języku PascalMichał Iglewski, Jan Madey, Stanisław Matwin, Pascal. Język wzorcowy – Pascal 360., Wydawnictwa Naukowo-Techniczne, Warszawa 1984, wydanie trzecie – zmienione, Seria: Biblioteka Inżynierii Oprogramowania, , w którym termin typu porządkowego został zdefiniowany wprost, typami porządkowymi są: typ całkowity (integer, word, longint, shortint, byte) typ wyliczeniowy typ logiczny (boolean) typ znakowy (char) typ okrojony (w1..w2)
Typ porządkowy posiada taki zbiór wartości których fizyczna reprezentacja w komputerze może być łatwo i bez jakichkolwiek przeliczeń rzutowana na typ całkowityA. Nico Habermann, Dewayne E. Perry, Ada dla zaawansowanych, Wydawnictwa Naukowo-Techniczne, Warszawa 1989 r., seria: Biblioteka Inżynierii Oprogramowania, .
Przypisy
Kategoria:Typy danych