Kontravaryans 🔊 🎲

In type theory, contravariance is the property of a type constructor that reverses the subtype relation: if A is a subtype of B, then F(B) is a subtype of F(A).

在类型理论中，逆变是类型构造器反转子类型关系的性质：如果 A 是 B 的子类型，那么 F(B) 是 F(A) 的子类型。

في نظرية الأنماط، التباين العكسي هو خاصية لمُنشئ الأنماط يعكس علاقة النمط الفرعي: إذا كان A نمطًا فرعيًا من B، فإن F(B) نمط فرعي من F(A).

En la teoría de tipos, la contravarianza es la propiedad de un constructor de tipos que invierte la relación de subtipo: si A es un subtipo de B, entonces F(B) es un subtipo de F(A).

En théorie des types, la contravariance est la propriété d'un constructeur de types qui inverse la relation de sous-typage : si A est un sous-type de B, alors F(B) est un sous-type de F(A).

In der Typentheorie ist Kontravarianz die Eigenschaft eines Typkonstruktors, die die Untertypbeziehung umkehrt: Wenn A ein Untertyp von B ist, dann ist F(B) ein Untertyp von F(A).

Na teoria dos tipos, a contravariação é a propriedade de um construtor de tipos que inverte a relação de subtipo: se A é um subtipo de B, então F(B) é um subtipo de F(A).

Tip teorisinde kontravaryans, bir tip oluşturucunun alt tip ilişkisini tersine çeviren özelliğidir: A, B'nin alt tipi ise, F(B) de F(A)'nın alt tipidir.

प्रकार सिद्धांत में, कॉन्ट्रावेरिएंस किसी प्रकार-निर्माता का वह गुण है जो उपप्रकार संबंध को उलट देता है: यदि A, B का उपप्रकार है, तो F(B), F(A) का उपप्रकार होता है।