monoid之含义

monoid在代数里面 The prefix "mon-" means "one"

主要三个特性

1.包含一种类型A

2.接受两个参数A的F,进行操作后并返回类型A

3.标识该类型的身份值(我把它理解为进行OP操作类型的底)

所以它的trait

trait Monoid[A] {def op(a1: A, a2: A): Adef zero: A}

例如

val stringMonoid = new Monoid[String] {  def op(a1: String, a2: String) = a1 + a2  def zero = ""}