contravariant câu

• val circles: Array[Circle] = shapes // Works only if Array is contravariant
  val shapes: Array[Shape] = circles //sẽ hoạt động nếu Array là covariant
• We observed that read-only types are covariant and write-only types are contravariant.
  Chúng ta đã quan sát được là những type read-only sẽ là covariance, và type write-only sẽ là contravariance.
• where Fa is the ath contravariant components of the resultant force acting on the particle, Γabc are the Christoffel symbols of the second kind,
  với Fa là thành phần phản biến thứ a của hợp lực (resultant force) tác dụng lên hạt, Γabc là ký hiệu Christoffel loại hai,