Що таке Коваріантність і Контраваріантність делегатів Що це дає?

Що таке Коваріантність типів?

В системі типів мови програмування, конструктор типів є: коваріантним — якщо він зберігає порядок типів (від похідних до базового); контраваріантним — якщо він змінює порядок типів на протилежний; біваріантним — якщо прямий і обернений порядок є справедливими одночасно.

Що означає варіативність?

наявність варіацій, можливості варіювання; варіантність.

Як позначається коваріація?

cov(X,Y)=cov(Y,X). Як випливає з назви, коваріація узагальнює дисперсію. cov(X,X)=var(X).

Що означає варіювати?

перех. робити або говорити те саме по-різному; [≈ 1] [≠ 1] [▲ 1] [▼ 1] ◆ немає прикладів застосування. перех., муз.

Коваріантність делегата передбачає, що типом, який повертається, може бути похідний тип. Контраваріантність делегата передбачає, що тип параметра може бути біл …
Визначення · коваріантним — якщо він зберігає порядок типів (від похідних до базового); · контраваріантним — якщо він змінює порядок типів на протилежний; …
Контраваріантними називають «звичайні» компоненти, які при зміні базису простору змінюються за допомогою перетворення, зворотного до перетворення базису.