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 real, then, is that which, sooner or later, information and reasoning would finally result in, and which is therefore independent of the vagaries of me and you. Thus, the very origin of the conception of reality shows that this conception essentially involves the notion of a COMMUNITY, without definite limits, and capable of a definite increase of knowledge.”
—Charles Sanders Peirce (1839–1914)
“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)
“We have got rid of the fetish of the divine right of kings, and that slavery is of divine origin and authority. But the divine right of property has taken its place. The tendency plainly is towards ... “a government of the rich, by the rich, and for the rich.””
—Rutherford Birchard Hayes (1822–1893)
“Of course I’m a black writer.... I’m not just a black writer, but categories like black writer, woman writer and Latin American writer aren’t marginal anymore. We have to acknowledge that the thing we call “literature” is more pluralistic now, just as society ought to be. The melting pot never worked. We ought to be able to accept on equal terms everybody from the Hassidim to Walter Lippmann, from the Rastafarians to Ralph Bunche.”
—Toni Morrison (b. 1931)