contravariance

可算名詞不可算名詞

日本語の意味

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

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

意味（1）

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

Coordinate term: covariance

意味（2）

(category theory) A functor which reverses composition.

contravariances

（ plural ）