Typ bazowy (typ podstawowy, typ macierzysty, typ wyjściowy) – typ danych dostępny w danym języku programowania, z którego zostaje wyprowadzony nowy, np.: typ pochodny podtyp agregat danych typ wskaźnikowy klasa pochodna
Zastosowanie typu bazowego Jak z powyższej definicji wynika, typ bazowy nie jest konkretnym typem w dostępnym w danym języku programowania lecz dowolnym (lub jednym z określonych w syntaktyce języka) typem. W większości języków typ bazowy nie musi być nawet typem predefiniowanym przez język lecz może być to typ zdefiniowany w kodzie źródłowym przez programistę, który może być oparty na pewnym typie bazowym. Takie wyprowadzanie kolejnych definicji z typów bazowych we współczesnych językach programowania jest praktycznie nieograniczone.
Wyróżnienie typu bazowego nie wiąże się więc z rodzajem wartości i operacji jakie mogą być reprezentowane przez danych typ, lecz z funkcją określonego, wcześniej zdefiniowanego typu, w kodzie programu.
Typ bazowy w podtypie, typie pochodnym
Podtyp stanowi pewne ograniczenie wartości dostępnych, wybranych z typu bazowego. Operacje dostępne dla typu bazowego są dostępne również dla podtypu.