州立单子的递归

Question

我正在使用cats库中的State-Monad来照顾我在Scala中实现的纸牌游戏的状态。

我有一个函数simulateGame，该函数应在当前状态为Over时结束。该函数如下所示。

def simulateGame: GameState[Outcome] = for {
    action <- State.inspect[PlayerState, Action] { ... }
    status <- step(action)
    outcome <- ???
} yield outcome

step函数返回当前步骤之后的状态。根据返回的状态，我想从状态中提取结果（这没问题，因为如果状态为Over，则对结果进行编码）或对simulateGame函数进行递归调用。 / p>

我不确定如何在状态上进行模式匹配，然后进行递归调用。

感谢您的帮助！

Answer 1

您可以匹配并递归

def simulateGame: GameState[Outcome] = for {
    action <- State.inspect[PlayerState, Action] { ... }
    status <- step(action)
    outcome <- status match
       case o: Over => State.pure(o)
       case _ => simulateGame
} yield outcome