monoid之组合



monoid是允许组合的,而且也是他正真强大的地方（FP IN SCALA 提到）,例如

A: Monoid[A], B: Monoid[B]

可以得出
Monoid[B]): Monoid[(A,B)]

也是成立的

我们使用Monoid的组合组合性来装配一个更加复杂的Monoid----合并键值

源码来之FP IN SCALA

def mapMergeMonoid[K,V](V: Monoid[V]): Monoid[Map[K, V]] = new Monoid[Map[K, V]] {
	def zero = Map()
	def op(a: Map[K, V], b: Map[K, V]) = a.map {
		case (k, v) => (k, V.op(v, b.get(k) getOrElse V.zero))
	}
}

val M: Monoid[Map[String, Map[String, Int]]] = mapMergeMonoid(mapMergeMonoid(intAddition))

val m1 = Map("o1" -> Map("i1" -> 1, "i2" -> 2))

val m2 = Map("o1" -> Map("i2" -> 3))

val m3 = M.op(m1, m2)