为什么Covariance和Contravariance这样命名？

Question

我想知道为什么Covariance和Contravariance这两个术语在编程领域被命名为。通常在概率论或统计学中听到这些术语，表明相对于均值测量的数量的扩散。

• 从统计学中借用这些术语的想法是什么？
• 这些术语如何描述编程域中的这种传播？
• 编程领域的意思是什么？

我知道Covariance能够将更具体类型的表达式分配给不太具体的类型的变量，但是，还有另一种解释吗？ 与这两个领域相关的示例会有所帮助。

Answer 1

我不是数学家，所以我不会尝试回答我自己的问题，但你可以在Tomas Petricek's blog上找到关于你问题的精彩解释。

他详细解释了协方差和逆变 编程与纯数学范畴理论有关。