Typy pochodne są budowane na bazie typów fundamentalnych.
Przykładem typu pochodnego może być tablica lub wskaźnik.
Możemy mieć kilka "luźnych" obiektów typu int, ale możemy je powiązać w tablicę obiektów typu int.
Tablica obiektów typu int jest typem pochodnym od typu int.
Typy pochodne oznacza się przez podanie nazwy typu podstawowego i operatora deklaracji typu pochodnego.