Haskell：如何实现Maybe类型的反向traverse函数traverseI？

你需要的traverseI核心逻辑是：收集所有处理成功的元素，若没有任何元素处理成功则返回Nothing，否则返回Just包装的成功元素列表。下面是几种优雅的实现方案：

1. 基于mapMaybe的直观实现 #

这是最直接易懂的方案，完全匹配你的需求：

import Data.Maybe (mapMaybe)

traverseI :: (a -> Maybe b) -> [a] -> Maybe [b]
traverseI f xs = let successList = mapMaybe f xs
                 in if null successList then Nothing else Just successList

测试你的示例场景：

myFunc :: [Int] -> Maybe [Int]
myFunc = traverseI (\x -> if x > 5 then Just (x+1) else Nothing)

myFunc [1, 3, 6, 9]  -- 输出 Just [7, 10]
myFunc [1, 2, 3]     -- 输出 Nothing

该方案逻辑清晰，可读性极强，日常开发中非常实用。

2. 用foldr封装递归逻辑 #

如果你想贴近手动递归的思路，foldr可以帮你把遍历逻辑抽象化，避免重复的模式匹配：

traverseI :: (a -> Maybe b) -> [a] -> Maybe [b]
traverseI f = foldr step Nothing
  where
    step x acc = case f x of
      Nothing -> acc
      Just y -> case acc of
        Nothing -> Just [y]
        Just ys -> Just (y:ys)

这个实现和你给出的递归版本完全等价，但代码更紧凑，把递归过程交给foldr处理。

3. 借助Alternative特性的函数式实现 #

利用Maybe的Alternative实例，可以写出更简洁的函数式风格代码：

import Control.Applicative (Alternative(empty, (<|>)))

traverseI :: (a -> Maybe b) -> [a] -> Maybe [b]
traverseI f = foldr combine empty
  where
    combine x acc = (f x >>= \y -> (y:) <$> acc) <|> acc

这里的逻辑是：对每个元素尝试处理，若成功就将结果添加到已有列表头部；若处理失败则保留之前的结果。最终如果所有元素都处理失败，empty对应Nothing，否则返回包含所有成功元素的Just列表。

总结 #

如果优先考虑可读性和简洁性，基于mapMaybe的实现是最优选择——它直接表达了核心需求，没有多余的抽象。foldr版本适合理解递归逻辑的底层实现，而Alternative版本则是进阶的函数式写法，适合熟悉Haskell类型类的场景。

内容的提问来源于stack exchange，提问作者João Haas