Scala – 作家Monad是否与国家Monad有效地相同？

更简洁地说,州[S,A]是一种S => (S,A),而Writer [W,A]是(W,A)的包装器.

考虑Writer的以下用法：

import scalaz._,Scalaz._

def addW(x: Int,y: Int): Writer[List[String],Int] =
  Writer(List(s"$x + $y"),x + y)

val w = for {
  a <- addW(1,2)
  b <- addW(3,4)
  c <- addW(a,b)
} yield c

现在我们可以运行计算：

scala> val (log,res) = w.run
log: List[String] = List(1 + 2,3 + 4,3 + 7)
res: Int = 10

我们可以和国家做同样的事情：

def addS(x: Int,y: Int) =
  State((log: List[String]) => (log |+| List(s"$x + $y"),x + y))

val s = for {
  a <- addS(1,2)
  b <- addS(3,4)
  c <- addS(a,b)
} yield c

接着：

scala> val (log,res) = s.run(Nil)
log: List[String] = List(1 + 2,3 + 7)
res: Int = 10

但是这有点更冗长,我们也可以与国家做很多其他的事情,我们无法用Writer做.

所以这个故事的道德是你应该使用Writer,只要你可以 – 你的解决方案会更清洁,更简洁,你会得到使用适当的抽象的满意度.

很多时候,作家不会给你所有的权力,但在这种情况下,国家将等待你.