一个依赖于外部状态 s 的伪函数 f' :: a -> b，我们可以将其改写为 f :: a -> s -> (b, s) 使其良定。即，在输入输出中显式传递状态 s。现在，我们需要利用 Monad 将状态传递过程隐藏起来。
注意到，输出值 (b, s) 中的末状态 s 不仅依赖于输入状态，更依赖于之前更改过状态的一系列函数及其逻辑。因此我们不能简单地将 Monad 定义为 (a, s) 类似的形式，否则两个函数用 >=> 结合的结果将与函数逻辑无关，这与我们的期望不符。
考虑如下定义：
haskell
newtype State s a = { runState :: s -> (a, s) }
由于 -> 的右结合性，继续阅读 »