Haskell State Monads计算器状态始终为0问题排查及使用疑问

问题排查：状态不更新的常见原因 #

1. 命令处理函数未正确修改状态 #

最常见的错误是处理StoreC类命令时，未调用put更新State。比如错误实现：

data CalcCmd = StoreC Int CalcCmd | EnterC

evalCmd :: CalcCmd -> State Int ()
evalCmd EnterC = return ()
evalCmd (StoreC n cmd) = do
  -- 未修改状态，仅递归处理子命令
  evalCmd cmd

正确实现需要用put写入新状态：

evalCmd :: CalcCmd -> State Int ()
evalCmd EnterC = return ()
evalCmd (StoreC n cmd) = do
  put n  -- 将状态更新为n
  evalCmd cmd  -- 基于新状态处理后续命令

2. 错误提取最终状态 #

如果run函数只取runState的第一个返回值（计算结果），会忽略真正的最终状态。比如：

-- 错误：返回计算结果（()）而非状态
runCalc :: CalcCmd -> Int
runCalc cmd = fst $ runState (evalCmd cmd) 0

-- 正确：提取最终状态
runCalc :: CalcCmd -> Int
runCalc cmd = snd $ runState (evalCmd cmd) 0

用execState可更简洁直接获取最终状态：

runCalc :: CalcCmd -> Int
runCalc cmd = execState (evalCmd cmd) 0

3. 递归命令的状态传递顺序错误 #

若先递归处理子命令再更新状态，子命令会使用旧状态，而非预期的新状态。比如：

-- 错误：子命令用旧状态，最后覆盖状态
evalCmd (StoreC n cmd) = do
  evalCmd cmd
  put n

若要让后续命令基于新状态执行，必须先更新状态再递归。

State Monad通用注意事项 #

• 牢记State是纯函数：所有状态操作都是纯的，put不会原地修改状态，而是返回生成新状态的动作。
• 区分三个核心执行函数：
  • evalState :: State s a -> s -> a：返回计算结果，丢弃最终状态
  • execState :: State s a -> s -> s：返回最终状态，丢弃计算结果
  • runState :: State s a -> s -> (a, s)：同时返回结果和状态
• 避免状态丢失：组合State动作时，确保每个动作正确传递状态上下文，do块中put/get的顺序直接影响后续动作的状态。
• 复杂状态拆分：若状态结构复杂（如同时包含当前值和历史记录），不要将所有数据塞进一个State，可使用StateT组合其他monad，或拆分多个State类型。
• 调试状态变化：用Debug.Trace模块的trace函数打印状态变化：

  import Debug.Trace
  
  evalCmd (StoreC n cmd) = do
    put n
    trace ("Updated state to: " ++ show n) (evalCmd cmd)
  

• 不要滥用State：仅读取配置用Reader，仅累积输出用Writer，State仅适合需要读写可变状态的场景。

内容的提问来源于stack exchange，提问作者hask1023