c# - 为什么Covariance和Contravariance这样命名？

Question

我想知道为什么协变和逆变这两个术语在编程领域中的命名方式是这样的。人们通常会在概率论或统计学中听到这些术语，它们表示被测量的数量相对于均值的分布。

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

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

Answer 1

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

他在那里详细解释了协变和逆变编程与纯数学范畴论有关。