Question

我在尝试学习Cats Writer如何工作时写了这个简单的程序

import cats.data.Writer
import cats.syntax.applicative._
import cats.syntax.writer._
import cats.instances.vector._

object WriterTest extends App {
   type Logged2[A] = Writer[Vector[String], A]
   Vector("started the program").tell
   val output1 = calculate1(10)
   val foo = new Foo()
   val output2 = foo.calculate2(20)
   val (log, sum) = (output1 + output2).pure[Logged2].run
   println(log)
   println(sum)

   def calculate1(x : Int) : Int = {
      Vector("came inside calculate1").tell
      val output = 10 + x
      Vector(s"Calculated value ${output}").tell
      output
   }
}

class Foo {
   def calculate2(x: Int) : Int = {
      Vector("came inside calculate 2").tell
      val output = 10 + x
      Vector(s"calculated ${output}").tell
      output
   }
}

程序有效，输出

> run-main WriterTest
[info] Compiling 1 Scala source to /Users/Cats/target/scala-2.11/classes...
[info] Running WriterTest 
Vector()
50
[success] Total time: 1 s, completed Jan 21, 2017 8:14:19 AM

但为什么向量是空的？它不应该包含我用过的所有字符串＆＃34;告诉＆＃34;方法

Answer 1

每次创建tell时，都会在Vector上致电Writer[Vector[String], Unit]。但是，您实际上

此外，您致电Writer创建最终pure，只需创建一个空Writer的{{1}}。你必须将作者组合在一起，并在一个带有你的价值和信息的链条中。

Writer

请注意使用Vector表示法。 type Logged[A] = Writer[Vector[String], A] val (log, sum) = (for { _ <- Vector("started the program").tell output1 <- calculate1(10) foo = new Foo() output2 <- foo.calculate2(20) } yield output1 + output2).run def calculate1(x: Int): Logged[Int] = for { _ <- Vector("came inside calculate1").tell output = 10 + x _ <- Vector(s"Calculated value ${output}").tell } yield output class Foo { def calculate2(x: Int): Logged[Int] = for { _ <- Vector("came inside calculate2").tell output = 10 + x _ <- Vector(s"calculated ${output}").tell } yield output }的定义确实是

for

calculate1是monadic bind 操作，这意味着它了解如何获取两个monadic值（在本例中为def calculate1(x: Int): Logged[Int] = Vector("came inside calculate1").tell.flatMap { _ => val output = 10 + x Vector(s"calculated ${output}").tell.map { _ => output } }）并将它们连接在一起以获得一个新值。在这种情况下，它会使flatMap包含日志的串联和右侧的值。

注意没有副作用。 Writer没有全局状态可以记住您对Writer的所有通话。相反，您需要制作多个Writer并将其与tell一起加入，以便最后获得一个大的。

Answer 2

您的示例代码存在的问题是您没有使用tell方法的结果。

如果你看看它的签名，你会看到：

final class WriterIdSyntax[A](val a: A) extends AnyVal {

   def tell: Writer[A, Unit] = Writer(a, ())

}

很明显，tell会返回Writer[A, Unit]结果，该结果会立即被丢弃，因为您没有将其分配给某个值。

使用Writer（以及Scala中的任何monad）的正确方法是通过其flatMap方法。它看起来与此类似：

println(
  Vector("started the program").tell.flatMap { _ =>
    15.pure[Logged2].flatMap { i =>
      Writer(Vector("ended program"), i)
    }
  }
)

上面的代码在执行时会给你：

WriterT((Vector(started the program, ended program),15))

如您所见，消息和int都存储在结果中。

现在这有点难看，Scala实际上提供了一种更好的方法：for-comprehensions。 For-comprehension是一些语法糖，它允许我们以这种方式编写相同的代码：

println(
  for {
    _ <- Vector("started the program").tell
    i <- 15.pure[Logged2]
    _ <- Vector("ended program").tell
  } yield i
)

现在回到您的示例，我建议您将compute1和compute2的返回类型更改为Writer[Vector[String], Int]，然后尝试使用您的应用程序进行编译我上面写的内容。

猫作家矢量是空的

2 个答案: