Scala-cats:阅读器组合

Question

import cats.data.ReaderT
import cats.instances.either._

trait Service1
trait Service2
case class Cats(name:String)

type FailFast[A] = Either[List[String], A]
type Env = (Service1, Service2, Cats)
type ReaderEnvFF[A] = ReaderT[FailFast, Env, A]

def toReaderEnvFF[A](input:A):ReaderEnvFF[A] =
  ReaderT((_:Env) => Right(input))

def c:ReaderEnvFF[Cats] =
  for {
    cats <- toReaderEnvFF((_:Env)._3)
  } yield cats   // This line is 26

错误:

Error:(26, 11) type mismatch; found : T1.this.Env => com.savdev.Cats (which expands to) ((com.savdev.Service1, com.savdev.Service2, com.savdev.Cats)) => com.savdev.Cats required: com.savdev.Cats } yield cats

你能解释一下，为什么 cats 不是 com.savdev.Cats？为什么在错误中，它说它被扩展为具有返回方法 [Cats] 的函数，而不是 FailFast[Cats]

我尝试应用与此处完全相同的逻辑:

trait Service1 { def s1f = Option(10) }
trait Service2 {
  type ReaderS1[A] = ReaderT[Option,Service1,A]
  import cats.syntax.applicative._
  import cats.instances.option._
  def s2f:ReaderS1[Int] =
    for {
      r2 <- ReaderT((_: Service1).s1f)
      r1 <- 1.pure[ReaderS1]
    } yield r1 + r2
}

在这个例子中，我可以将函数 Service1.s1f 转换成它的结果 r2，它工作正常。为什么我不能，例如写这样的东西:

for {
 cats <- ReaderT((_:Env)._3)
...

Answer 1

toReaderEnvFF((_: Env)._3)在cats <- toReaderEnvFF((_: Env)._3)实际上是toReaderEnvFF[A]((_: Env)._3)对于某些类型 A .什么是 A现在？自 (_: Env)._3 (又名 input 在 toReaderEnvFF )是类型 Env => Cats然后输入 A是Env => Cats .所以toReaderEnvFF((_: Env)._3)类型为 ReaderEnvFF[Env => Cats]和 cats在cats <- toReaderEnvFF((_: Env)._3)类型为 Env => Cats .

在x <- SomeMonad[T]变量 x类型为 T (现在 SomeMonad 是 ReaderEnvFF ， T 是 Env => Cats )。

ReaderT((_: Service1).s1f)在你的第二个例子中是 ReaderT[Option, Service1, Int] 类型所以r2在r2 <- ReaderT((_: Service1).s1f)类型为 Int .但在你的第一个例子中 toReaderEnvFF((_: Env)._3)类型为 ReaderEnvFF[Env => Cats]又名 ReaderT[FailFast, Env, Env => Cats]所以cats在cats <- toReaderEnvFF((_: Env)._3)类型为 Env => Cats .这就是区别。

如果您想使用 ReaderEnvFF[Cats]那么你应该改变cats <- toReaderEnvFF(???) .例如

def c:ReaderEnvFF[Cats] =
  for {
    cats <- toReaderEnvFF(Cats("aaa"))
  } yield cats