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: […]
Source: wiktionary
Contravariance
Synonyms for "contravariance" (1 found)
Ranked by relevance and common usage.
Closest matches (1)
Related word relations
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
Related terms
1 entriescoordinate
1 entrieshas context
2 entriesrelated to
9 entriesTranslations
10 translations across 8 languages.
Chinese Mandarin
1 entries- 逆變 /逆变 noun (reversal of the order of data types acted upon by an operator)
Finnish
2 entries- kontravarianssi noun (reversal of the order of data types acted upon by an operator)
- kontravarianssi noun (functor which reverses composition)
French
1 entries- contravariance noun (reversal of the order of data types acted upon by an operator)
German
2 entries- Kofunktor noun (functor which reverses composition)
- Kontravarianz noun (reversal of the order of data types acted upon by an operator)
Kazakh
1 entries- контраварианттық noun (reversal of the order of data types acted upon by an operator)
Portuguese
1 entries- contravariância noun (reversal of the order of data types acted upon by an operator)
Romanian
1 entries- contravarianță noun (reversal of the order of data types acted upon by an operator)
Russian
1 entries- контравариантность noun (reversal of the order of data types acted upon by an operator)
Sample sentences
1 total sentences available.
Keep exploring
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.