Can anyone explain the concept of covariance and contravariance in programming language theory?

Edit
Report