0

看完了 Rúnar Bjarnason 发人深省的视频“具有合理价格的 monad 的可组合应用程序架构”，我开始在 Scalaz 中编写视频中提供的示例。在为 Interact App 实现基于编写器的解释器时，我有点惊讶。这是代码，

sealed trait Interact[A]

case class Ask(prompt: String) extends Interact[String]

case class Tell(msg: String) extends Interact[Unit]

type W[A] = scalaz.Writer[Vector[String], A]

object ConsoleW extends (Interact ~> W) {
  def apply[A](i: Interact[A]) = i match {
    case Ask(prompt) =>
      println(prompt)
      Writer(Vector(prompt), readLine)
    case Tell(msg) =>
      println(msg)
      Writer(Vector.empty, ())
  }
}

当我试图将 ConsoleW 提升为交互自由 monad 的解释器时，编译器提示我缺少 Functor 到 W 的上下文绑定。我很惊讶，因为 Writer 本身就是一个 monad，应该免费提供 functor 上下文绑定。好的，所以我必须明确地编写一个仿函数，

implicit val functor = new Functor[W] {
  def map[A, B](fa: Writer[Vector[String], A])(f: A => B) =
    fa.map(f)
}

这很愚蠢......因为除了调用 Writer 本身的 map 方法之外，我基本上什么也没做。现在我可以将 ConsoleW 提升为解释器。但是，当我尝试使用 ConsoleW 折叠交互程序时，编译器再次提示缺少为 W 绑定的 Monad 上下文！好吧，这完全出乎意料，让我用勺子喂你，Scalac...

val prg: Free[({type f[x] = Coyoneda[Interact, x]})#f, Unit] = ???

import scalaz.std.vector._

implicit val monad = new scalaz.Monad[W] {
  def point[A](a: => A) = Writer[Vector[String], A](Vector.empty, a)
  def bind[A, B](fa: Writer[Vector[String], A])(f: A => Writer[Vector[String], B]) = 
    fa.flatMap(f)
}

prg.foldMap(Coyoneda.liftTF(ConsoleW))

现在一切都编译好了，Writer Monad 可以在程序运行时将所有提示记录到向量中。但这并不令人满意，我想创建一个以 Writer 作为底层 Monad 的解释器，而不必明确提供它确实是 Functor 和 Monad 的证据。知道如何解决吗？

4

1 回答 1

0

只需要导入scalaz.std.vector._，问题就解决了。Id.Id 如何按原样工作给我留下了深刻的印象，忘记了 writer monad 的导入应该更复杂。

于 2015-01-26T14:27:57.103 回答