scala - 为什么 HashMap 不是半群，而 Map 是？

Question

def foo(a: Map[String, Int], b: HashMap[String, Int]) {
  // okay
  val ab = a |+| b

  // value |+| is not a member of scala.collection.immutable.HashMap[String,Int]
  val ba = b |+| a
}

为什么 HashMap 不是半群，而 Map 是？来自面向对象的背景，我会期望 HashMap 与 Map 一样强大吗？

Answer 1

因为 Semigroup是不变的，并且没有专门为 HashMap 定义的实例, 只是 Map .不变性基本上意味着 |+|语法不能使用 Semigroup Map 的实例在推断为 HashMap 的类型上，即使 HashMap是 Map 的子类型.

在某些情况下，Scalaz 类型类不必要地保持不变。但这不是这些情况之一。因为|+|的签名函数、方差(co- 或 contra-)没有多大意义，因此类型类在其最大一般性方面是正确的。