Derived type
From Wikipedia, the free encyclopedia
For types constructed from primitive and other types, see composite type.
| The factual accuracy of this article is disputed. Please see the relevant discussion on the talk page. (March 2008) |
A derived type is a type given a new type but structurally the same as the original type. The purpose of this type is create a new type name so that two values can have two distinct types in terms of name. It matters if the type system uses a name equivalence rule but does not matter if the system uses a structural equivalence.

