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:
“To be a real philosopher all that is necessary is to hate some one else’s type of thinking.”
—William James (1842–1910)
“A religion so cheerless, a philosophy so sorrowful, could never have succeeded with the masses of mankind if presented only as a system of metaphysics. Buddhism owed its success to its catholic spirit and its beautiful morality.”
—W. Winwood Reade (1838–1875)