Haskell中State数据构造器不在作用域问题求助

这个错误是因为现代Haskell版本中，State数据构造器没有被默认导出，而《Learn You a Haskell》的示例是基于较早的库版本编写的，当时构造器是默认可见的。下面给你两种实用的解决方法：

方法1：显式导入State构造器 #

修改你的导入语句，明确导入State的构造器：

import Control.Monad.State (State(..))

type Stack = [Int]  

pop :: State Stack Int  
pop = State $ \(x:xs) -> (x,xs)  
  
push :: Int -> State Stack ()  
push a = State $ \xs -> ((),a:xs)  

这里的(..)表示导入State类型的所有构造器，这样你就能直接使用原示例里的State构造函数了。

方法2：使用推荐的state智能构造函数（更稳妥） #

Haskell标准库提供了小写的state函数来创建State monad实例，这是官方更推荐的方式（避免依赖构造器导出规则的版本变化）。修改代码如下：

import Control.Monad.State

type Stack = [Int]  

pop :: State Stack Int  
pop = state $ \(x:xs) -> (x,xs)  
  
push :: Int -> State Stack ()  
push a = state $ \xs -> ((),a:xs)  

验证代码是否正常工作 #

你可以添加一段测试代码来确认逻辑没问题：

stackManip :: State Stack Int  
stackManip = do  
    push 3  
    pop  
    pop  

main = print $ runState stackManip [5,8,2,1]

运行这段代码应该会输出(5,[8,2,1])，说明栈操作逻辑正常运行。

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