そういうことか！ どこで何を読んでも「はあ？」だった人が最後にもう一度だけ挑戦する「共変性」と「反変性」 - Qiita

※少し長くなりますので、時間のない方はまず こちらの記事 を読んでみてください。 プログラミング言語仕様の中でも、名前のわかりづらさと概念のややこしさが相まって、際立ってとっつきにくい「共変性」「反変性」。 どこで何を読んでも頭がこんがらがるばかりという方。 なんとなく使えているけど仕組みはよくわかっていないという方。 そのもやもやをいったんお引き受けします。 （お返しすることになったらごめんなさい） 一般的な解説とはあえて違った切り口で、かつ本質から逸れることなく、図を使わずに文章とコードのみで説明してみたいと思います。 互換性の概念であって状態遷移やデータフローの話ではありませんので、混乱を避けるため、（そもそも用語がわかりづらいという仮定で）語源を無視して、「変換」とか「変更」とか「→」といった表現はなるべく使わないようにしました。 初めにプログラミング言語における「共変性」「反変性