如何在Haskell中编写代码过滤列表的Nothing值并排查代码错误

错误原因分析 #

• 对标准库Data.Maybe.mapMaybe的功能理解有误
  mapMaybe本身就实现了你需要的核心逻辑：输入一个返回Maybe类型的映射函数和待处理列表，会自动丢弃映射结果为Nothing的元素，直接返回所有Just包裹的取值组成的列表，返回列表的元素已经脱掉了Maybe包装，不属于Maybe类型。
• 存在明显的类型逻辑错误
  你在mapMaybe调用后额外加了map to_int操作，而你定义的to_int要求入参是Maybe类型，此时会直接触发类型不匹配的编译错误，代码根本无法正常运行。
• 若你自定义的mapMaybe只是普通的map实现（未做Nothing过滤），此时得到的是[Maybe Int]类型的列表，用你写的to_int映射会把Nothing转为0保留，完全不符合「丢弃返回Nothing的对应元素」的需求，自然得不到预期结果。

正确实现 #

你不需要额外定义to_int函数，直接调用标准库mapMaybe即可：

import Data.Maybe (mapMaybe)

filteredList :: (a -> Maybe b) -> [a] -> [b]
filteredList f l = mapMaybe f l

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