scala - State Monad 中使用 flatMap 的典型场景？

Question

我阅读了 State Monad 的定义如下，其中包括 flatMap 的定义。我很清楚 flatMap 的字面定义，但它的典型用例是什么？

trait State[S,A]{
  def run (initial:S):(S,A)
  def flatMap[B] (f:A=>State[S,B]):State[S,B] = 
    State{ s =>
      val (s1, a) = run(s)
      f(a).run(s1)
    }
}

object State{
  def apply[S,A](f:S => (S,A)):State[S,A] =
    new State[S,A] {
        def run(initial:S): (S,A) = f(initial) 
    }
}

Answer 1

根据猫状态 monad documentation

The flatMap method on State[S, A] lets you use the result of one State in a subsequent State

这意味着我们可以在一个理解中很好地排列状态转换，就像这样

val createRobot: State[Seed, Robot] =
  for {
    id <- nextLong
    sentient <- nextBoolean
    isCatherine <- nextBoolean
    name = if (isCatherine) "Catherine" else "Carlos"
    isReplicant <- nextBoolean
    model = if (isReplicant) "replicant" else "borg"
  } yield Robot(id, sentient, name, model)

一般来说，flatMap 的目的是链接单子(monad)计算，因此无论我们拥有什么单子(monad)，我们都可以将其放在 for-compression 中。