Контравариантность

Перевод слова "контравариантность" на Английский язык

контравариантность

Существительное

Основная форма

/kəntrəvərʲɪˈjantnəsʲtʲ/

Основная форма

/kəntrəvərʲɪˈjantnəsʲtʲ/

контравариантность

контравариантности / множ.

контравариантностью

контравариантностей множ.

контравариантностям множ.

контравариантностями множ.

контравариантностях множ.

contravariance

Контравариантность в программировании позволяет использовать более общий тип вместо более специфичного.

Contravariance in programming allows using a more general type instead of a more specific one.

Опеределения

контравариантность

Существительное

Основная форма

/kəntrəvərʲɪˈjantnəsʲtʲ/

Основная форма

/kəntrəvərʲɪˈjantnəsʲtʲ/

Свойство математического объекта изменяться в противоположном направлении относительно изменения другого объекта, с которым он связан. В частности, это свойство тензоров, которые изменяются противоположно изменению координатной системы.

Контравариантность векторных полей позволяет корректно описывать их поведение при изменении системы координат.

Свойство параметризованных типов или функций в программировании и теории категорий, при котором отношение подтипов изменяется на противоположное при передаче аргумента (контравариантный параметр).

Ключевое слово in в языке Kotlin задаёт контравариантность параметра обобщённого типа.

Переводы
Опеределения