Scalaのジェネリックスを学ぶ - かとじゅんの技術日誌

Scalaのジェネリックスを少し学んでみました。(なんか違うんじゃね？とかあれば、ツッコミお願いしますm(_ _)m) Javaのジェネリックスでは、型パラメータは共変/反変ではない Javaでこんなコードを書いてコンパイラに怒られたことないですか。 public interface Animal { } public class Dog implements Animal{ } public class App { public static void main(String[] args) { ArrayList<Animal> animals = new ArrayList<Dog>(); } } ArrayList<Animal> animals = new ArrayList<Dog>(); とすると、型がミスマッチとなります。 つまり、ArrayListのサブ型として、Arra

[patorash]

共変と反変。

[takezoe]

共変とか反変について

[syanbi]

読みます

[yujiorama]

細かいけど分かりやすい型遊び