Haskell函数返回(Int,Int)却期望Int？问题排查

你的代码问题出在对do语法的误用：

错误原因 #

bar是普通的(Int, Int)类型值，不是Monad实例，但do语法是专门为Monad上下文设计的。当你写(n1,n2) <- bar时，Haskell会尝试把bar解析为某个Monad m的m a类型，结合foo的返回类型(Int, Int)，它会推断这个Monad是(Int,)（即Reader Monad，形式为(Int, a)），所以期望bar的类型是(Int, (Int, Int))——第一个元素是Int，第二个是要解构的元组，但实际bar是(Int, Int)，这就导致了类型不匹配：期望Int，实际得到(Int, Int)。

而do { bar }没报错是因为单表达式的do块等价于表达式本身，本质就是直接返回bar，和do的Monad逻辑无关，只是语法巧合通过了检查。

正确写法 #

处理普通值的解构和修改，不需要用do块，直接用let绑定或case模式匹配即可：

用let绑定修改

bar :: (Int, Int)
bar = (1,2) 

foo :: (Int, Int)
foo = let (n1, n2) = bar
      in (n1 + 1, n2 * 2) -- 示例修改：n1加1，n2乘2

用case模式匹配

bar :: (Int, Int)
bar = (1,2) 

foo :: (Int, Int)
foo = case bar of
        (n1, n2) -> (n1 - 3, n2 + 5) -- 示例修改：n1减3，n2加5

如果后续确实需要在Monad上下文里处理类似逻辑（比如IO中读取元组），那<-才是正确用法，但当前场景下普通值的处理不需要Monad语法。

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