勉強日記

チラ裏

型理論

ジェネリクスと変位について覚え書き -- なぜimmutableに書くのか

「setterをむやみに生やさずにimmutableに書こう」 という理由のひとつとして、「共変にできる」というのもあるんだなぁと思ったのでメモ。 よく聞く「T[]は不変(invariant)だよ」というやつ 必ずinvariantかというと、そうではない 共変なジェネリクスの例:…