为什么 runState 签名只有 state 参数？

一个现实生活中的例子：如果我心情很好（“良好状态”），当经理问我有关估算时，我给了他一个可靠的答案，但他敢这样做3次吗in a row，中间没有一些免费零食，我的情绪发生了变化（我变得“糟糕的状态”），接下来的 3 次他走近时，我要求他不要用任何废话来打扰我。

这是我平常一天的日志：

                             [ Mood: Good, Patience: 3 ]  -- 11:00 am, I'm happy
ESTIMATE -> "bla bla 6",     [ Mood: Good, Patience: 2 ]
ESTIMATE -> "bla bla 1",     [ Mood: Good, Patience: 1 ]
Cookies! -> "",              [ Mood: Good, Patience: 3 again! ]
ESTIMATE -> "bla bla 7",     [ Mood: Good, Patience: 2 ]
ESTIMATE -> "bla bla 2",     [ Mood: Good, Patience: 1 ]
ESTIMATE -> "bla bla 9",     [ Mood: BAD , Patience: -2 ] -- Enough!
ESTIMATE -> "Need a break!"  [ Mood: BAD , Patience: -1 ]
ESTIMATE -> "Deploynig!",    [ Mood: BAD , Patience: 0 ]
ESTIMATE -> "Lunch time!",   [ Mood: Good, Patience: 3 ]  -- Ok he needs me..
ESTIMATE -> "bla bla 6",     [ Mood: Good, Patience: 2 ]
...

现在我的工作模式似乎很适合State Monad.

newtype State s a = State { runState :: s -> (a, s) } 

但我该怎么做呢？签名有一个状态空间，在我的例子中是(Mood,Patience)，而不是用于输入（ESTIMATE or Cookies）。就好像我根本不听就应该回答一样！

所以我的问题是：我如何不仅进行有状态的计算，而且还进行有争议的计算StateHaskell 的单子？

有状态计算获取输入、状态并返回输出和新状态。所以类型将是input -> state -> (state, output).

The runState只是部分应用的状态计算，已经获取了其输入。

另请注意，当您编写有状态函数时（即，当您使用>>=绑定运算符或do符号）你就是这样做的：你提供输入作为表达式，并且绑定负责仅传递state.

您可以致电get不使用它的返回值，但随后它就会丢失。如果你想使用它，你必须使用value <- get然后提供value作为下一个有状态计算的显式输入。绑定仅在传递状态时发挥作用。

实际示例：考虑以下函数：

doStuff :: Int -> State Int Int
doStuff x = do
    val <- get
    put $ val+x+1
    return 0

The doStuff类型具有完全相同的模式input -> state -> (state, output)。但是input部分由x争论。 一旦您提供x你得到某种类型的东西state -> (state, output)这正是runState代表。

因此，您实际上不需要有状态操作的参数，因为您可以事先部分应用它们来获得“没有输入的纯有状态计算”（这些是可怕的引号）。