http://zh.wikipedia.org/wiki/%E5%8D%8F%E5%8F%98%E4%B8%8E%E9%80%86%E5%8F%98协变与逆变是程序设计语言中的类型系统的一对概念。类型系统支持子类型。例如，如果Cat是Animal的子类型，那么Cat类型的表达式可用于任何出现Animal类型表达式的地方。变型（variance）是指，如何根据其组成类型来确定更复杂的类型（如Cat列表对Animal列表，返回Cat的函数对返回Animal的函数，...，等等。）之间的子类型关系。依赖于类型构造器的变型性质，复杂类型的子类型性质可分为保持、逆转、与忽略。例如，在C Sharp中：I Read More
