Scala學習日記（一）類型推斷

和Java同樣，Scala也有泛型。剛看到泛型的時候，會發現

List[+T] extends Seq[T]

這樣的語法。這裏的加號指的是：

協變covariant	C[T’]是 C[T] 的子類	[+T]
逆變contravariant	C[T] 是 C[T’]的子類	[-T]
不變invariant	C[T] 和 C[T’]無關	[T]

有了這個，在Scala裏寫

val l:List[Number] = new List[Int]

是合理的。Java裏貌似沒有對應的結果。