In computer science, a nominal or nominative type system (or name-based type system) is a major class of type system, in which compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types. Nominative systems are used to determine if types are equivalent, as well as if a type is a subtype of another. It contrasts with structural systems, where comparisons are based on the structure of the types in question and do not require explicit declarations.
Read more about Nominative Type System: Nominal Typing, Nominal Subtyping, Comparison, See Also, Notes
Famous quotes containing the words type and/or system:
“The perfect detective story cannot be written. The type of mind which can evolve the perfect problem is not the type of mind that can produce the artistic job of writing.”
—Raymond Chandler (1888–1959)
“The twentieth-century artist who uses symbols is alienated because the system of symbols is a private one. After you have dealt with the symbols you are still private, you are still lonely, because you are not sure anyone will understand it except yourself. The ransom of privacy is that you are alone.”
—Louise Bourgeois (b. 1911)