（co-,contra-,in-）variance in Scala, what is [+-A]

本文主要總結Scala中關於generic variance(泛型變化， 我也不知道該怎麼翻譯，以下稱 GV),(co-,contra-,in)variance in Scala 的相關知識，什麼是 generic variance 呢？我的感覺是一種泛型類型的類型系統，應該和 type system 比較相關，(PL專家就不要嘲笑我了)。比如: List<Integer>是 List<Objec

>>阅读原文<<