Ковариантность, инвариантность и контравариантность объяснены простым языком? ⇐ JAVA

[Anonymous]

Сегодня я прочитал несколько статей о ковариантности, контравариантности (и инвариантности) в Java. Я прочитал статьи в английской и немецкой Википедии, а также некоторые другие сообщения в блогах и статьи IBM.
Но я все еще немного не понимаю, что означают эти термины. Некоторые говорят, что речь идет о взаимосвязи между типами и подтипами, некоторые говорят, что речь идет о преобразовании типов, а некоторые говорят, что он используется для определения того, переопределен или перегружен метод.
Я ищу простой способ объяснение на простом английском языке, которое показывает новичку, что такое ковариантность и контравариантность (и инвариантность). Дополнительные баллы за простой пример.

Подробнее здесь: https://stackoverflow.com/questions/848 ... in-english