(descendant type)
typ zdefiniowany z uzyciem innego typu (lub typów); na przyklad typ rekordowy jest t.p. od potencjalnie wielu typów, w tym innych typów rekordowych. Zob. tez typ pierwotny, klasa bazowa.
- typ pierwotny, ( ancestor type )
- typ monomorficzny, ( monomorphic type )