Reader monad 的应用实例

Question

我认为 scalaz 中的每个单子也有一个 Applicative 实例。例如，我可以像这样将 ApplicativeBuilder 用于 Option：

scala> (1.some |@| 2.some) {_ + _}
res1: Option[Int] = Some(3)

现在我想对Reader做同样的事情：

scala> type IntReader[A] = Reader[Int, A]
defined type alias IntReader

scala> val r1: IntReader[Int] = Reader {x: Int => x + 1 }
r1: IntReader[Int] = Reader(<function1>)

scala> val r2: IntReader[Int] = Reader {x: Int => x + 2 }
r2: IntReader[Int] = Reader(<function1>)

scala> (r1 |@| r2) {_ + _}
<console>:64: error: value |@| is not a member of IntReader[Int]
          (r1 |@| r2) {_ + _}

为什么上面的代码不能编译？

Answer 1

为了完整起见：Applicative 实例可用，无需导入：

scala> type IntReader[A] = scalaz.Reader[Int, A]
defined type alias IntReader

scala> scalaz.Applicative[IntReader]
res0: scalaz.Applicative[IntReader] = scalaz.KleisliInstances3$$anon@f979171

但是如果你想使用 |@| 语法你需要导入 scalaz.syntax.apply._:

scala> import scalaz.syntax.apply._
import scalaz.syntax.apply._

scala> val r1: IntReader[Int] = scalaz.Reader((x: Int) => x + 1)
r1: IntReader[Int] = Kleisli(<function1>)

scala> val r2: IntReader[Int] = scalaz.Reader((x: Int) => x + 2)
r2: IntReader[Int] = Kleisli(<function1>)

scala> (r1 |@| r2) { _ + _ }
res1: IntReader[Int] = Kleisli(<function1>)

这是因为 |@| 不是 Reader 上的方法——它是由 ApplyOps 扩充 class.

提供的

Reader monad 的应用实例

Applicative instance for Reader monad

scala

monads

scalaz

applicative