Typ porządkowy – typ danych w określonym języku programowania, którego zbiór wartości stanowi ograniczony i uporządkowany ciąg wartości prostych.
Dla każdej wartości należącej do pewnego typu porządkowego określona jestMichael Marcotty, Henry Ledgord, W kręgu języków programowania, tłumaczenie: Krystyna Jerzykiewicz, Wydawnictwa Naukowo-Techniczne, Warszawa 1980, Seria: Biblioteka Inżynierii Oprogramowania, wartość następna – następnik (z wyjątkiem wartości ostatniej w uporządkowanym ciągu możliwych wartości danego typu porządkowego), np. funkcja Succ(x) w Turbo PascaluAndrzej Marciniak, Borland Pascal 7.0, Wyd. Nakom, Poznań 1994 r., seria: Biblioteka Użytkownika Mikrokomputerów , ISSN 0867-6011 wartość poprzednia – poprzednik (z wyjątkiem wartości pierwszej w uporządkowanym ciągu możliwych wartości danego typu porządkowego), np. funkcja Pred(x) w Turbo Pascalu indeks, określający miejsce w uporządkowanym ciągu wartości, np. funkcja Ord(x) w Turbo Pascalu.