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

• В видео обсуждается, как соотносятся между собой подтипы и дженерики.  

• Подтип - это отношение наследования, где любой объект типа "с" также является объектом типа "т".  

• Дженерик - это тип, который может принимать значения любого типа.  

• В примере с животным и собакой, собака является подтипом животного, и любая операция, которую можно сделать с животным, также можно сделать с собакой.  

• В примере с записывателем, записыватель животных может записывать собак, но записыватель собак не может записывать животных.  

• В примере с мутабельным списком, он может принимать и отдавать элементы, но не может быть подтипом другого типа.  

• Кориность - это когда дженерик сохраняет направление подтипа, а контравариантность - когда дженерик меняет направление подтипа.  

• Инвариантность - это когда дженерик не может быть подтипом другого типа.  

• В май пай, при создании дженериков, можно указать, будет ли он коринатным, контравариантным или никаким.  

• По умолчанию дженерики являются никакими.