组合StateT与ExceptT Monad转换器：访问State报错及解决

报错原因 #

当你在checkFoo的子函数doFoo中调用get/put等State操作时，编译器需要明确两个关键信息：

1. 状态的具体类型（比如Int、String）；
2. 当前操作所在的monad栈结构（比如ExceptT e (StateT s IO)或StateT s (ExceptT e IO)）。

如果doFoo没有显式的类型签名或足够的类型约束，Haskell的类型推导系统无法自动确定MonadState的类型参数a0具体对应什么，也无法将doFoo的上下文关联到外层的ExceptT+StateT栈，因此抛出“无法推导MonadState a0 IO，类型变量a0模糊”的错误。

修复方案 #

以下是两种常见的修复方式，根据你的monad栈结构选择：

方案1：给doFoo指定精确的类型签名 #

假设你的外层monad栈是ExceptT String (StateT Int IO)（错误处理用String类型的错误信息，状态用Int类型），直接给doFoo匹配外层栈的类型：

import Control.Monad.State
import Control.Monad.Except

checkFoo :: ExceptT String (StateT Int IO) ()
checkFoo = do
  let doFoo :: ExceptT String (StateT Int IO) ()
      doFoo = do
        -- 用lift穿透ExceptT层，访问内层StateT的状态
        currentState <- lift get
        liftIO $ print currentState
        -- 也可以修改状态
        lift $ put (currentState + 1)
  doFoo

注意：如果你的monad栈顺序是StateT s (ExceptT e IO)（StateT在外层），则不需要lift，直接调用get/put即可：

checkFoo :: StateT Int (ExceptT String IO) ()
checkFoo = do
  let doFoo :: StateT Int (ExceptT String IO) ()
      doFoo = do
        currentState <- get
        liftIO $ print currentState
        put (currentState + 1)
  doFoo

方案2：使用通用类型约束，让doFoo更灵活 #

如果希望doFoo能在任何支持State和IO的monad栈中复用，可以给它加上MonadState s和MonadIO的类型约束：

checkFoo :: ExceptT String (StateT Int IO) ()
checkFoo = do
  let doFoo :: (MonadState s m, MonadIO m) => m ()
      doFoo = do
        currentState <- get
        liftIO $ print currentState
        put (currentState + 1)
  doFoo

此时编译器会根据外层的ExceptT String (StateT Int IO)自动推断出s = Int，m = ExceptT String (StateT Int IO)，因为这个栈同时满足MonadState Int和MonadIO的实例要求。

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