contravariance
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Noun[edit]
contravariance (countable and uncountable, plural contravariances)
- (object-oriented programming) The reversal of the order of data types acted upon by an operator.
- Coordinate term: covariance
- 2005, Jesse Liberty, Visual C# 2005: A Developer's Notebook, O'Reilly Media, →ISBN, page 47:
- I get why with covariance I can return a Dog (a Dog is a Mammal), but why does contravariance work the other way? Shouldn't it accept a derived type when it expects a base type? Contravariance is consistent with Postel's Law: […]
- (category theory) A functor which reverses composition.
- (linear algebra) Of vectors, the property of scaling inversely with a change of basis, as opposed to covariance.
Related terms[edit]
Translations[edit]
reversal of the order of data types acted upon by an operator
|
functor which reverses composition
|
Further reading[edit]
- covariance and contravariance (computer science) on Wikipedia.Wikipedia
- covariance and contravariance of vectors on Wikipedia.Wikipedia
French[edit]
Pronunciation[edit]
Audio: (file)
Noun[edit]
contravariance f (plural contravariances)
Further reading[edit]
- “contravariance”, in Trésor de la langue française informatisé [Digitized Treasury of the French Language], 2012.
Categories:
- English terms prefixed with contra-
- English lemmas
- English nouns
- English uncountable nouns
- English countable nouns
- en:Object-oriented programming
- English terms with quotations
- en:Category theory
- en:Linear algebra
- en:Algebra
- en:Mathematics
- French terms with audio links
- French lemmas
- French nouns
- French countable nouns
- French feminine nouns
- fr:Object-oriented programming