Scala 猫状态 Monad

Question

我有一个 class，它有一个生成结果的单参数方法和 returns 一个与其自身相似但具有更新状态以供后续使用的对象。

例如，下面包含一个这样的简单示例 class 以及我如何使用它：

case class Foo(x: Double) {
  def bar(y: Double): (Foo, Double) = (Foo(x + y), x / (x + y))
}

val res = Vector(1.0,2.0,3.0,4.0).foldLeft((Foo(0), 0.0))((foo, x) => foo._1.bar(x))

res._1.bar(3.0)

我查看了 Cats State monad，并希望我可以使用它来避免线程化状态（"x" 成员）。示例 here 接近我想要的，但是 returns 新状态的函数没有任何参数，并且状态不会在类似循环的操作中传递（而是在表达式之间传递）。说到猫，我完全是个新手，但我是不是找错了树？

Answer 1

您可以在下面找到如何使 cats state monad 适应您的情况。但是，我在将 List[State[S, A]] 排序为在猫中具有 State[S, List[A]] 时遇到了一些问题，因此我为此编写了一个函数 sequence。如果有人知道该怎么做，我会很感兴趣:)

import cats.data._

case class Foo(x: Double)

def bar(y: Double): State[Foo, Double] = for {
  foo <- State.get[Foo]
  _ <- State.set(Foo(foo.x + y))

} yield foo.x / (foo.x + y)

val xs: List[State[Foo, Double]] = List(1.0, 2.0, 3.0, 4.0).map(bar)

def sequence(xs: List[State[Foo, Double]]): State[Foo, List[Double]] =
  xs.foldLeft(State.pure[Foo, List[Double]](List.empty[Double])) { (acc, x) =>
    for {
      xs <- acc
      xx <- x
    } yield xx :: xs
  }

val s = sequence(xs)
val ss = s.map(_.head)

s.run(Foo(0)).value
ss.run(Foo(0)).value

ss.flatMap(_ => bar(3)).run(Foo(0)).value

结果你得到

res0: (Foo, List[Double]) = (Foo(10.0),List(0.6, 0.5, 0.3333333333333333, 0.0))
res1: (Foo, Double) = (Foo(10.0),0.6)

res2: (Foo, Double) = (Foo(13.0),0.7692307692307693)

Scala 猫状态 Monad

Scala Cats State Monad

scala

scala-cats