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