Контравариантность
Übersetzung von "контравариантность" ins Englisch
контравариантность
SubstantivОсновная форма
/kəntrəvərʲɪˈjantnəsʲtʲ/
Основная форма
/kəntrəvərʲɪˈjantnəsʲtʲ/
контравариантность
контравариантности / Pl.
контравариантностью
контравариантностей Pl.
контравариантностям Pl.
контравариантностями Pl.
контравариантностях Pl.
Контравариантность в программировании позволяет использовать более общий тип вместо более специфичного.
Contravariance in programming allows using a more general type instead of a more specific one.
Definitionen
контравариантность
SubstantivОсновная форма
/kəntrəvərʲɪˈjantnəsʲtʲ/
Основная форма
/kəntrəvərʲɪˈjantnəsʲtʲ/
Свойство математического объекта изменяться в противоположном направлении относительно изменения другого объекта, с которым он связан. В частности, это свойство тензоров, которые изменяются противоположно изменению координатной системы.
Контравариантность векторных полей позволяет корректно описывать их поведение при изменении системы координат.
Свойство параметризованных типов или функций в программировании и теории категорий, при котором отношение подтипов изменяется на противоположное при передаче аргумента (контравариантный параметр).
Ключевое слово in в языке Kotlin задаёт контравариантность параметра обобщённого типа.