Помимо базовых типов существует практически бесконечный класс производных типов, которые формируются из уже существующих и описывают следующие конструкции:
массивы объектов заданного типа;
функции, возвращающие объекты заданного типа;
указатели на объекты заданного типа;
структуры, содержащие последовательность объектов, возможно, различных заданных типов;
объединения, каждое из которых может содержать любой из нескольких объектов различных заданных типов.
В общем случае приведенные методы конструирования объектов могут применяться рекурсивно.