link What are covariance and contravariance? | Stephan Boyer

What are covariance and contravariance? July 21, 2017 Subtyping is a tricky topic in programming language theory. The trickiness comes from a pair of frequently…