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:
“One type of rice nourishes one hundred types of people.”
—Chinese proverb.
“Loving feels lonely in a violent world,
irrelevant to people burning like last year’s weed
with bellies distended, with fish throats agape
and flesh melting down to glue.
We can no longer shut out the screaming
That leaks through the ventilation system ...”
—Marge Piercy (b. 1936)