contravariance

countable uncountable

Japanese Meaning

オブジェクト指向プログラミングにおいて、演算子が作用するデータ型の順序が反転する現象・性質 / 圏論において、合成の順序を反転する関手の性質・概念

演算子が扱うデータ型の順序の逆転は、オブジェクト指向プログラミングにおける関数パラメータのより安全な代入を可能にします。

Sense（1）

(object-oriented programming) The reversal of the order of data types acted upon by an operator.

Coordinate term: covariance

Sense（2）

(category theory) A functor which reverses composition.

contravariances

（ plural ）