-
English
-
Russian
-
German
-
English
-
Russian
-
German
Контравариантность
Translation of "контравариантность" into English
контравариантность
Noun
Основная форма
/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.
Definitions
контравариантность
Noun
Основная форма
/kəntrəvərʲɪˈjantnəsʲtʲ/
Основная форма
/kəntrəvərʲɪˈjantnəsʲtʲ/
Свойство математического объекта изменяться в противоположном направлении относительно изменения другого объекта, с которым он связан. В частности, это свойство тензоров, которые изменяются противоположно изменению координатной системы.
Контравариантность векторных полей позволяет корректно описывать их поведение при изменении системы координат.
Свойство параметризованных типов или функций в программировании и теории категорий, при котором отношение подтипов изменяется на противоположное при передаче аргумента (контравариантный параметр).
Ключевое слово in в языке Kotlin задаёт контравариантность параметра обобщённого типа.