Variance in type systems
April 13, 2025 | Reading Time: 19 min
A brief explanation of what covariant, contravariant and invariant mean. With examples in various languages.