История изменений

Только, честно говоря, я редко видел, чтобы вариантность особо применялась на практике. Конечно, мой опыт нерепрезентативен

Та ладно, всё время и на каждом шагу: типы в списках должны быть ковариативными, возвращаемый тип из функции должен быть контрвариативным. Просто на всяких питонах, жабах и прочем, люди часто внимание не обращают, но если это не соблюдать, оно ж потом не работает. Скала обеспечивает поддержку этого на уровне типов, только и всего.

Только, честно говоря, я редко видел, чтобы вариантность особо применялась на практике. Конечно, мой опыт нерепрезентативен

Та ладно, всё время и на каждом шагу: типы в списках должны быть вариативными, возвращаемый тип из функции должен быть контрвариативным. Просто на всяких питонах, жабах и прочем, люди часто внимание не обращают, но если это не соблюдать, оно ж потом не работает. Скала обеспечивает поддержку этого на уровне типов, только и всего.