Covariância 🎲
Propriedade de um construtor de tipos que preserva a relação de subtipo: se A é um subtipo de B, então F<A> é um subtipo de F<B>.
Формы слова (1)
| Covariância | lemma |
Формы (1)
| التغاير | lemma |
Формы (1)
| Kovarianz | lemma |
Формы (1)
| Covariance | lemma |
Формы (1)
| Covarianza | lemma |
Формы (1)
| Covariance | lemma |
Формы (1)
| सहप्रसरण | lemma |
Формы (1)
| Kovaryans | lemma |
Формы (1)
| 协变 | lemma |
Пока нет связанных полок. Скоро появятся.
🌐 English — Covariance
Property of a type constructor that preserves the subtype relation: if A is a subtype of B, then F<A> is a subtype of F<B>.
🌐 中文 — 协变
类型构造器的一种性质，保持子类型关系：若 A 是 B 的子类型，则 F<A> 是 F<B> 的子类型。
🌐 العربية — التغاير
خاصية في مُنشئ الأنواع تحافظ على علاقة النوع الفرعي: إذا كان A نوعًا فرعيًا من B، فإن F<A> نوع فرعي من F<B>.
🌐 Español — Covarianza
Propiedad de un constructor de tipos que conserva la relación de subtipo: si A es un subtipo de B, entonces F<A> es un subtipo de F<B>.
🌐 Français — Covariance
Propriété d’un constructeur de types qui préserve la relation de sous-type : si A est un sous-type de B, alors F<A> est un sous-type de F<B>.
🌐 de — Kovarianz
Eigenschaft eines Typkonstruktors, die die Untertypbeziehung erhält: Wenn A ein Untertyp von B ist, dann ist F<A> ein Untertyp von F<B>.
🌐 pt — Covariância
Propriedade de um construtor de tipos que preserva a relação de subtipo: se A é um subtipo de B, então F<A> é um subtipo de F<B>.
🌐 tr — Kovaryans
Alt tür ilişkisini koruyan bir tür oluşturucunun özelliği: A, B'nin alt türüyse, F<A> da F<B>'nin alt türüdür.
🌐 hi — सहप्रसरण
एक प्रकार निर्माता का गुण जो उपप्रकार संबंध को संरक्षित रखता है: यदि A, B का उपप्रकार है, तो F<A>, F<B> का उपप्रकार है।