(programming)A type constructed from primitive types orother derived types using a type constructor function. Thisterm is usually applied to procedural languages such as Cor Ada. C's derived types are the array, function,pointer, structure, and union.