使用状态monad的过时状态

Question

这是一个使用状态monad的功能runGame ：

runGame = do
    state <- get
    addPoints
    let newState = ...modify state in some way...
    put newState

1. 我得到状态
2. 我修改它
3. 我把新的状态。

现在假设我也修改了addPoints的状态：

addPoints = do
  modify (+1)

问题是，我在runGame的状态现在已过时。 因此，当我修改该状态并将其放回原处时，我已经取消了addPoints的更改。

解决这个问题的好方法是什么？ 我不想在每次函数调用“以防万一”后修改状态后重新get状态。 我可以切换到始终使用modify而不是get和put但这会使我的代码尴尬。

Answer 1

您正在寻找对状态的原子/事务修改，这几乎就是modify提供的。 这是不可能的“滑”的之间的一些状态修改操作get和put与modify 。 如果不使用它，则必须管理确保在get和put之间什么都不会发生的复杂性。