Haskell中如何遍历列表的列表？

嘿，我太懂这种感受了——就为了一小段循环逻辑，把整个函数套进递归里，总觉得有点小题大做。咱们先从你遇到的mapM解析错误说起，再聊聊几个更贴合“迭代”直觉的遍历方案，完全不用自己写递归。

先搞定mapM的常见问题 #

你说用mapM一直出解析错误，大概率是踩了这几个小坑：

• lambda表达式语法错误：比如漏写->或者括号不规范，错误写法像mapM (\lst sum lst > 10) lists，正确应该是mapM (\lst -> sum lst > 10) lists（如果是纯函数场景，其实用map就行，mapM是给monadic操作准备的）。
• 忘记导入必要模块：如果用到forM或者filterM这类工具，需要先导入Control.Monad。
• 混淆map和mapM：map处理纯函数，返回[a]；mapM处理monadic操作（比如IO、状态管理），返回m [a]，别搞混适用场景。

举个mapM的正确用法例子：遍历子列表、计算和、打印结果并收集满足条件的列表

import Control.Monad

checkSums :: [[Int]] -> IO [[Int]]
checkSums lists = do
  -- 遍历每个子列表，计算和并判断，返回IO [Bool]
  isValid <- mapM (\lst -> let s = sum lst in print s >> return (s > 10)) lists
  -- 配对原列表和结果，过滤出符合条件的子列表
  return [lst | (lst, ok) <- zip lists isValid, ok]

更像“循环”的替代方案：forM #

如果你觉得mapM的参数顺序反人类，试试forM——它就是mapM的翻转版，写法更贴近命令式“逐个处理元素”的直觉，完美适配你这种“循环内代码只是函数一小部分”的场景：

import Control.Monad

processLists :: [[Int]] -> IO ()
processLists lists = do
  -- 写法就像：for each list in lists, do...
  forM lists $ \lst -> do
    let subSum = sum lst
    putStrLn $ "当前子列表的和是: " ++ show subSum
    -- 这里放你那一小段循环内的逻辑，比如判断后执行操作
    if subSum > 10
      then putStrLn "✅ 这个子列表满足条件！"
      else putStrLn "❌ 这个子列表不满足条件"
  -- 循环结束后继续执行外层逻辑，完全不用递归整个函数
  putStrLn "所有子列表处理完毕！"

纯函数场景：用高阶函数替代递归 #

如果你的遍历是纯函数操作（不需要IO或状态变更），那map、filter、foldl/foldr这些高阶函数完全能搞定，根本不用自己写递归：

• 筛选和大于10的子列表：

filterSums :: [[Int]] -> [[Int]]
filterSums = filter (\lst -> sum lst > 10)

• 给每个子列表加上和的标签：

tagSums :: [[Int]] -> [(Int, [Int])]
tagSums = map (\lst -> (sum lst, lst))

总结一下 #

• 纯函数遍历：优先用map/filter/fold系列，简洁高效，不用自己写递归；
• Monadic遍历（比如IO）：用forM比mapM更符合“循环”直觉，不会污染外层函数结构；
• 遇到解析错误先检查lambda语法、模块导入、是否混淆了纯函数和monadic操作。

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