Revision as of 16:12, 10 October 2021 edit 2a02:810a:8d00:1298:b0ba:f2ae:b358:e1d (talk) →Formal definition ← Previous edit		Revision as of 09:45, 1 November 2021 edit undo 2a02:8108:96c0:781c:795f:655f:cfe7:621e (talk) Giving an example of a language that supports contravariance in parameter types Next edit →
Line 168: </syntaxhighlight> ~~Not~~Only ~~many~~a few object-oriented languages actually allow this (for example, Python when typechecked with mypy). C++, Java and most other languages that support [[Function overloading\|overloading]] and/or [[Variable shadowing\|shadowing]] would interpret this as a method with an overloaded or shadowed name. However, [[Sather]] supported both covariance and contravariance. Calling convention for overridden methods are covariant with ''out'' parameters and return values, and contravariant with normal parameters (with the mode ''in'').

Covariance and contravariance (computer science): Difference between revisions