型パラと variance は人類の認知能力では辛い感はありますよね。まあでも、だからこそ型で縛ってくれないと、動的型で適当にやってたら↑の Java の配列みたいに壊せるから。

5:25 AM

Go みたいな選択肢もあるけど。