Haskell类型错误：预期‘t2 Integer’与实际‘Integer’不匹配的解决方法

核心错误分析 #

1. 类型不匹配初始化
   初始化TotalDeleted时，第二个字段equivalent定义为String类型，但你传入了整数0，直接触发类型不匹配错误。

2. traverse_调用完全不符合签名
   traverse_的标准签名是(Foldable t, Applicative f) => (a -> f b) -> t a -> f ()，要求第一个参数是接受单个元素并返回Applicative动作的函数，第二个参数是可折叠容器。但你直接把recursiveDeleteDirectory（类型Integer -> String -> IO ()）作为第一个参数，还额外传入两个参数，完全违背了函数调用规则，导致类型推导混乱，出现Couldn't match expected type ‘t2 Integer’ with actual type ‘Integer’的错误。

3. IO绑定逻辑错误
   let contents = getDirectoryContents =<< getCurrentDirectory把IO [String]类型的动作绑定给contents，后续result <- contents >>= ...的写法逻辑错误，应该直接在do块内用<-获取IO动作的结果。

4. 误解Haskell的不可变性
   Haskell是纯函数式语言，let绑定的mut是不可变值，无法直接修改。你试图通过recursiveDeleteDirectory修改它的值，这不符合Haskell的设计，必须用状态管理机制（如IORef、StateT）跟踪状态变化。

分步解决方案 #

1. 修正初始化错误 #

用IORef实现可变状态，同时修正字段类型匹配问题：

mut <- newIORef (TotalDeleted 0 "")  -- 第二个参数改为空字符串，匹配String类型

2. 调整recursiveDeleteDirectory的类型（适配状态更新） #

为了跟踪删除的数量和等效值，修改函数类型使其能操作IORef：

recursiveDeleteDirectory :: IORef TotalDeleted -> FilePath -> IO ()
recursiveDeleteDirectory ref path = do
    -- 示例：递归删除逻辑，同时更新删除计数
    current <- readIORef ref
    -- 假设每次删除操作后计数加1，可根据实际逻辑调整
    writeIORef ref current{amount = amount current + 1}
    -- 此处添加具体的文件/目录删除代码

3. 修正IO绑定与traverse_调用 #

调整main函数的IO流程，正确遍历目录内容：

main :: IO ()
main = do
    mut <- newIORef (TotalDeleted 0 "")
    currentDir <- getCurrentDirectory
    contents <- getDirectoryContents currentDir
    -- 遍历每个目录项，调用递归删除函数
    traverse_ (recursiveDeleteDirectory mut) contents
    -- 读取最终状态并打印
    finalState <- readIORef mut
    print (amount finalState)

4. 移除冗余的访问器函数 #

Haskell会为自定义数据类型自动生成访问器函数，你自己写的amount'和amountTxt'完全冗余，直接用自动生成的amount和equivalent即可。

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