Typ okrojony (typ zakresowy) – typ danych zdefiniowany na bazie innego typu, w celu ograniczenia możliwych wartości typu bazowegoMichael Marcotty, Henry Ledgord, W kręgu języków programowania, tłumaczenie: Krystyna Jerzykiewicz, Wydawnictwa Naukowo-Techniczne, Warszawa 1980, Seria: Biblioteka Inżynierii Oprogramowania, .
Definicja typu okrojonego zawiera specyfikację zakresu w postaci: wartości granicy dolnej (najmniejszej wartości zakresu) wartości granicy górnej (największej wartości zakresu). Obie wartości muszą być tego samego typu bazowego i są wartościami definiowanego typu okrojonego (przedział domknięty). W niektórych językach typ bazowy jest specyfikowany jawnie w definicji typu okrojonego, w innych występuje domniemanie na podstawie zapisu wartości granicznych i kontekstu. W większości języków programowania wartości graniczne mogą zostać zdefiniowane zarówno jako: literał, jak i wyrażenie stałe. Do typów okrojonych można stosować te same operacje (operatory, funkcje, konwersje), co to typów bazowych, i występować w tych operacjach łącznie z wartościami typu bazowego, nawet w językach o silnej typizacji. Te cechy wskazują, że typ okrojony jest podtypem, chyba że konkretny język programowania (np. AdaA. Nico Habermann, Dewayne E.