Derived type
From Wikipedia, the free encyclopedia
 |
The factual accuracy of this article is disputed. Please see the relevant discussion on the talk page. |
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.
