4 ms·
The reason anyone cares is because we want static and yet flexible typing. The better a type system understands covariance and contravariance, the better it can
by solipsism 9y ago
The reason anyone cares is because we want static and yet flexible typing. The better a type system understands covariance and contravariance, the better it can be at statically checking complex relationships.