rayshih

你可能其實不懂繼承 - 什麼是 Covariance 跟 Contravariance

在近代高等程式語言快（ㄏㄨˋ）速（ㄒ一ㄤ）演（ㄔㄠ）化（ㄒㄧˊ）的狀況下，很多 strong type 的程式語言都開始有了 generic 的設計， 舉例來說：

（這只是大略分類）

• Mobile: Swift, Kotlin
• Frontend: Flowtype, TypeScript
• 後端語言：Python (pyre), Scala, C#, Java （沒錯！現在連 Java 都有）