HaloO,

John M. Dlugosz wrote:
Variance?

Yeah, the standard set of co-, contra-, in- and bivariance ;)

Assume A <: B being subtypes. Then how should Foo[A]
and Foo[B] relate?

   Foo[A] <: Foo[B]   # covariance
   Foo[B] <: Foo[A]   # contravariance

Invariance means there's no relation at all. And Bivariance
means both!

Regards, TSa.
--

"The unavoidable price of reliability is simplicity"
  -- C.A.R. Hoare

Reply via email to