为什么斯凯拉兹半群不是协变的？

Question

是其简单的存在的，为什么Scalaz半群是不是协变：

https://github.com/scalaz/scalaz/blob/series/7.1.x/core/src/main/scala/scalaz/Semigroup.scala

https://github.com/scalaz/scalaz/blob/series/7.1.x/core/src/main/scala/scalaz/syntax/SemigroupSyntax.scala

感谢。

Answer 1

这怎么可能？类型参数出现无论是在协变和在半群，append的主操作逆变位置（结果和参数），因此它可以是既不协变也不逆变

只给一个简单的计数器例子，考虑Seq[Int]（Int只是修复类型，可以是任何东西）。您可以很容易地在那里定义一个半群，append为++。 现在Option没有扩展Seq，但是可以很容易地安排一个可以扩展Seq（或者甚至只是一个类型case class Single[A](a: A) extends Seq[A]）的选项类型。但是Seq[Int]的半群绝不可能是Option [Int]的半群，或Single [Int]，追加两个选项不会提供选项，也不会追加两个单曲。