反変性

プログラミング言語の型システムにおいて、ジェネリクスの反変性は重要な概念だ。

数学では、関手には共変性と反変性の二種類がある。

反変性を理解することは、より柔軟で安全なコードを書く上で役立つ。