共分散、不変、反変はプログラミングにおける型の関係にどのような影響を与えるのでしょうか?

平易な英語での共分散、不変性、および反変性: 包括的な説明

共分散、不変性、および反変性は、タイプとサブタイプの間の関係は、タイプ変換の影響を受けます。これらの概念は、プログラミング言語におけるポリモーフィズムと型安全性を理解する上で重要な役割を果たします。

共分散

共分散は、サブタイプの関係が型変換によって保持されることを示します。つまり、型 A が型 B のサブタイプである場合、変換された型 f(A) も f(B) のサブタイプになります。たとえば、変換 f(A) = List を考えてみましょう。ここで、List は次のように宣言されています。は List