Variance

Variance อธิบายว่า types ที่เกี่ยวข้องกันสามารถใช้แทนกันได้อย่างไร สำคัญสำหรับ generics และ function types

ประเภท Variance

ประเภท	คำอธิบาย	ตำแหน่ง
Covariant	A <: B → F<A> <: F<B>	Output (return)
Contravariant	A <: B → F<B> <: F<A>	Input (parameter)
Invariant	ไม่มี subtyping	Both in/out
Bivariant	ทั้งสองทิศทาง	Methods (legacy)

Variance Diagram