Nie definiuje się tu wprost typu bazowego, wynika on z typu literałów użytych do ograniczenia zakresu wartości. Na wartościach takiego typu tak jak w podtypie dopuszczalne są wszystkie operacje typu bazowego. Nowy typ (podtyp) jest zgodny w sensie przypisania z typem bazowym.
W języku Modula 2 typ bazowy, w definicji podtypu, może być wyspecyfikowany jawnie lub pominiętyNiklaus Wirth, Modula 2, Wydawnictwa Naukowo-Techniczne, Warszawa 1987, Seria: Biblioteka Inżynierii Oprogramowania, : TYPE miesiąc=1..12 TYPE miesiąc:INTEGER=1..12
Zobacz też
Typ danych Typ okrojony Ada Pascal Modula 2
Przypisy
Kategoria:Typy danych Kategoria:Konstrukcje programistyczne