Monoid

什么是monoid
一个monoid有如下构成
1、一个类型A
2、一个可结合的二元操作op,它接收两个参数然后返回相同类型的值,对于任何x: A,y: A,z: A来说,这两个操作是等价的:op(op(x, y), z) == op(x, op(y, z))
3、一个值,zero: A,它是一个单位元,对于任何x: A来说,zero和它的操作都等于x本身:op(x, zero) == x 或 op(zero, x) == x
可以使用trait表达:

trait Monoid[A] {

  def op(a1: A, a2: A): A 
  
  def zero: A
}

练习 10.1
给出moniod实例,用来处理整数相加、相乘和布尔操作。

object Monoid {

  val intAddition: Monoid[Int] = new Monoid[Int] {

    override def op(a1: Int, a2: Int): Int = a1 + a2

    override def zero: Int = 0
  }

  val intMultiplication: Monoid[Int] = new Monoid[Int] {

    override def op(a1: Int, a2: Int): Int = a1 * a2

    override def zero: Int = 1
  }

  val booleanOr: Monoid[Boolean] = new Monoid[Boolean] {

    override def op(a1: Boolean, a2: Boolean): Boolean = a1 || a2

    override def zero: Boolean = false
  }

  val booleanAnd: Monoid[Boolean] = new Monoid[Boolean] {

    override def op(a1: Boolean, a2: Boolean): Boolean = a1 && a2

    override def zero: Boolean = true
  }
}

练习 10.2
给出能够组合Option值的实例。

  def optionMonoid[A]: Monoid[Option[A]] = new Monoid[Option[A]] {

    override def op(a1: Option[A], a2: Option[A]): Option[A] = a1.orElse(a2)

    override def zero: Option[A] = None
  }

练习 10.3
我们吧参数和返回值是相同类型的函数称为自函数(endofunction)。为endofunction编写一个monoid。

  def endoMonoid[A]: Monoid[A => A] = new Monoid[(A) => A] {

    override def op(a1: (A) => A, a2: (A) => A): (A) => A = a1.andThen(a2)

    override def zero: (A) => A = a => a
  }

使用monoid折叠列表
monoid和列表的折叠有着紧密联系,观察List的foldLeft和foldRight的函数签名:

   def foldLeft[B](z: B)(f: (B, A) => B): B 
  
   def foldRight[B](z: B)(f: (A, B) => B): B

当A和B类型是一样的时:

  def foldLeft[A](z: A)(f: (A, A) => A): A

  def foldRight[A](z: A)(f: (A, A) => A): A

monoid的各个部分符合这些参数,Monoid[A]的zero可以作为参数z;Monoid[A]的op可以作为参数f。所以折叠一个List[String]和List[Int]可以表示为:

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

    override def zero: String = ""
  }
  
  val words = List("He", "ll", "o")
  val s = words.foldLeft(stringMonoid.zero)(stringMonoid.op)
  
  val nums = List(2, 0, 1, 8)
  val n = nums.foldLeft(intAddition.zero)(intAddition.op)

我们可以编写一个函数concatenate,使用monoid折叠列表

  def concatenate[A](li: List[A], m: Monoid[A]): A =
    li.foldLeft(m.zero)(m.op)

但是假如列表中的元素类型不是monoid的实例,该怎么办?总是可以将类型为A的列表map成类型为B的列表。

 def foldMap[A, B](as: List[A], m: Monoid[B])(f: A => B): B

练习 10.5
实现foldMap

  def foldMap[A, B](as: List[A], m: Monoid[B])(f: A => B): B =
    as.map(f).foldLeft(m.zero)(m.op)

练习 10.6
foldMap可以通过foldLeft和foldRight来实现,foldMap也可以实现foldLeft和foldRight,试一下。

  def foldMap1[A, B](as: List[A], m: Monoid[B])(f: A => B): B =
    as.foldRight(m.zero){(a, b) => m.op(f(a), b)}

  def foldMap2[A, B](as: List[A], m: Monoid[B])(f: A => B): B =
    as.foldLeft(m.zero){(b, a) => m.op(b, f(a))}

结合律和并行化
monoid操作的结合律意味着可以自由的选择如何进行数据结构的折叠操作,就像列表操作那样。假如有个monoid,甚至可以使用平衡折叠法对列表进行折叠,这样对于某些操作可能更有效率,更易于并行化。
练习 10.7
为indexedSeq实现foldMap,使用的策略是将顺序集拆分成两部分,递归的处理每一部分,然后使用monoid将结果加起来。

  def foldMapV[A, B](v: IndexedSeq[A], m: Monoid[B])(f: A => B): B =
    if (v.length <= 1)
      v.headOption.map(f).getOrElse(m.zero)
    else {
      val (l, r) = v.splitAt(v.length)
      m.op(foldMapV(l, m)(f), foldMapV(r, m)(f))
    }

可折叠的数据结构
在第3章节中实现了List和Tree的数据结构,两者都是可以折叠的。在第5章节实现了Stream,也是一个可以折叠的数据结构。在编写代码去处理这类数据结构的时候,通常不会在意具体数据结构是什么(List或Tree),例如:

  ints.foldLeft(0)(_ + _)

我们并不关心ints是什么类型,它可以是List[Int]也可以是Stream[Int],还可以是含有foldLeft方法的其它类型。可以这种通用性表示成下面的trait:
练习 10.12

trait Foldable[F[_]] {

  def foldLeft[A, B](as: F[A], b: B)(f: (B, A) => B): B

  def foldRight[A, B](as: F[A], b: B)(f: (A, B) => B): B

  def foldMap[A, B](as: F[A], m: Monoid[B])(f: A => B): B

  def concatenate[A](as: F[A], m: Monoid[A]): A =
    foldLeft(as, m.zero)(m.op)
}

object Foldable {
  val foldableList: Foldable[List] = new Foldable[List] {
    override def foldRight[A, B](as: List[A], b: B)(f: (A, B) => B): B =
      as.foldRight(b)(f)

    override def foldMap[A, B](as: List[A], m: Monoid[B])(f: (A) => B): B =
      as.foldLeft(m.zero){(b, a) => m.op(b, f(a))}

    override def foldLeft[A, B](as: List[A], b: B)(f: (B, A) => B): B =
      as.foldLeft(b)(f)
  }

  val foldableIndexSeq: Foldable[IndexedSeq] = new Foldable[IndexedSeq] {
    override def foldRight[A, B](as: IndexedSeq[A], b: B)(f: (A, B) => B): B =
      as.foldRight(b)(f)

    override def foldMap[A, B](as: IndexedSeq[A], m: Monoid[B])(f: (A) => B): B =
      as.foldLeft(m.zero){(b, a) => m.op(b, f(a))}

    override def foldLeft[A, B](as: IndexedSeq[A], b: B)(f: (B, A) => B): B =
      as.foldLeft(b)(f)
  }

  val foldableStream: Foldable[Stream] = new Foldable[Stream] {
    override def foldRight[A, B](as: Stream[A], b: B)(f: (A, B) => B): B =
      as.foldRight(b)(f)

    override def foldMap[A, B](as: Stream[A], m: Monoid[B])(f: (A) => B): B =
      as.foldLeft(m.zero){(b, a) => m.op(b, f(a))}

    override def foldLeft[A, B](as: Stream[A], b: B)(f: (B, A) => B): B =
      as.foldLeft(b)(f)
  }
}

练习 10.13
在第3章实现了二叉树,为它实现Foldable实例。

sealed trait Tree[+A]

case class Leaf[A](value: A) extends Tree[A]

case class Branch[A](left: Tree[A], right: Tree[A]) extends Tree[A]

  val foldableTree: Foldable[Tree] = new Foldable[Tree] {
    override def foldRight[A, B](as: Tree[A], b: B)(f: (A, B) => B): B = as match {
      case Leaf(a) => f(a, b)
      case Branch(l, r) => foldRight(l, foldRight(r, b)(f))(f)
    }

    override def foldMap[A, B](as: Tree[A], m: Monoid[B])(f: (A) => B): B =
      foldLeft(as, m.zero){(b, a) => m.op(b, f(a))}

    override def foldLeft[A, B](as: Tree[A], b: B)(f: (B, A) => B): B = as match {
      case Leaf(a) => f(b, a)
      case Branch(l, r) => foldLeft(r, foldLeft(l, b)(f))(f)
    }
  }

练习 10.14
编写Foldable[Option]的实例

  val foldOption: Foldable[Option] = new Foldable[Option] {
    override def foldRight[A, B](as: Option[A], b: B)(f: (A, B) => B): B =
      as.foldRight(b)(f)

    override def foldMap[A, B](as: Option[A], m: Monoid[B])(f: (A) => B): B =
      as.foldLeft(m.zero){(b, a) => m.op(b, f(a))}

    override def foldLeft[A, B](as: Option[A], b: B)(f: (B, A) => B): B =
      as.foldLeft(b)(f)
  }

练习 10.15
编写通用的转化方法,将Foldable结构转化成List

  def toList[A](fa: F[A]): List[A] = 
    foldRight(fa, List.empty[A]){(a, b) => a :: b}

组合monoid
monoid本身的抽象还不是那么引人入胜,在泛化foldMap的帮助下它也只是变得有趣了些。它真正强大之处来自于它的组合。
这意味着,假如A和B是monoid,那么tuple类型(A, B)同样也是monoid(称为product)。
练习 10.16
证明:当且仅当A.op和B.op的实现是可结合,那么如下的op实现也是可结合的。

  def productMonoid[A, B](ma: Monoid[A], mb: Monoid[B]): Monoid[(A, B)] =
    new Monoid[(A, B)] {
      override def op(a1: (A, B), a2: (A, B)): (A, B) = {
        val (aa1, bb1) = a1
        val (aa2, bb2) = a2
        (ma.op(aa1, aa2), mb.op(bb1, bb2))
      }

      override def zero: (A, B) = (ma.zero, mb.zero)
    }

练习 10.17

  def functionMonoid[A, B](b: Monoid[B]): Monoid[A => B] = new Monoid[(A) => B] {
    override def zero: (A) => B = a => b.zero

    override def op(a1: (A) => B, a2: (A) => B): (A) => B = 
      a => b.op(a1(a), a2(a))
  }

使用组合的monoid融合多个遍历
多个monoid可以组合成一个,意味着折叠数据结构时可以同时执行多个计算。比如可以同时获取List的长度和总和用于计算平均值:

  val m = productMonoid(intAddition, intAddition)
  val p = foldMap(List(1, 2, 3, 4), m)(a => (a, 1))
  val mean = p._1 / p._2
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 216,843评论 6 502
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,538评论 3 392
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 163,187评论 0 353
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,264评论 1 292
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,289评论 6 390
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,231评论 1 299
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,116评论 3 418
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,945评论 0 275
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,367评论 1 313
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,581评论 2 333
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,754评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,458评论 5 344
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,068评论 3 327
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,692评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,842评论 1 269
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,797评论 2 369
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,654评论 2 354

推荐阅读更多精彩内容

  • 3.4 说说相等和内部表示 在Lisp中主要有5种相等断言,因为不是所有的对象被创建的时候都是相等意义上的相等。数...
    geoeee阅读 1,814评论 0 6
  • Spring Cloud为开发人员提供了快速构建分布式系统中一些常见模式的工具(例如配置管理,服务发现,断路器,智...
    卡卡罗2017阅读 134,652评论 18 139
  • 列表是 Lisp 的基本数据结构之一。在最早的 Lisp 方言里,列表是唯一的数据结构: “Lisp” 这个名字起...
    四月不见阅读 1,525评论 0 0
  • 深夜是大海 不眠的人 是海底生物 一点一点 沉到更深处 水温越来越低 巨大的压力 围砌一座海底宫殿 星星如冰雹 打...
    煜烟阅读 151评论 0 0
  • 盲人按摩师叶志明的《为民服务盲人按摩店》座落在小镇农贸市场后街,交通便利,环境优美,宁静温馨,非常适宜患者前来就诊...
    盲人王大文阅读 436评论 1 3