使用状态单子

Question

这里走出来的过期状态的使用状态单子的功能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之间不发生任何事情的复杂性。