Origin of The Terms
The origin of these terms is in category theory, where the types in the type system form a category C, in which morphisms represent the subtype relationship.
Defining a function that accepts type p and returns type r creates a new type p → r in the type system; the new function name is associated with that type. This function definition operator is actually a functor F : C × C → C that creates the said type. From the substitution principle above, this functor must be contravariant in the first argument and covariant in the second.
Read more about this topic: Covariance And Contravariance (computer Science)
Famous quotes containing the words origin of the, origin of, origin and/or terms:
“The essence of morality is a questioning about morality; and the decisive move of human life is to use ceaselessly all light to look for the origin of the opposition between good and evil.”
—Georges Bataille (1897–1962)
“The origin of storms is not in clouds,
our lightning strikes when the earth rises,
spillways free authentic power:
dead John Brown’s body walking from a tunnel
to break the armored and concluded mind.”
—Muriel Rukeyser (1913–1980)
“There are certain books in the world which every searcher for truth must know: the Bible, the Critique of Pure Reason, the Origin of Species, and Karl Marx’s Capital.”
—W.E.B. (William Edward Burghardt)
“The mystic purchases a moment of exhilaration with a lifetime of confusion; and the confusion is infectious and destructive. It is confusing and destructive to try and explain anything in terms of anything else, poetry in terms of psychology.”
—Basil Bunting (1900–1985)