理解将[Maybe a]转为Maybe [a]的flipMaybe函数的递归逻辑

1. ls 的含义 #

ls 是递归调用 flipMaybe xs 触发 Just 分支时，被包裹在 Just 内部的、剩余列表 xs 处理完成后得到的纯值列表。简单来说就是除了当前头元素外，后面所有元素里的 Just 值拼接成的列表。

2. 递归运行机制 #

这个函数的核心作用是批量校验 Maybe 列表的有效性：

• 输入列表中所有元素都是 Just 时，把所有 Just 包裹的值提取出来组成新列表，用 Just 包裹后返回
• 输入列表中只要存在一个 Nothing，直接返回 Nothing
  三个递归分支的逻辑：
• 边界分支：空列表没有无效值，直接返回 Just []
• 短路分支：如果列表第一个元素是 Nothing，无需遍历剩余元素，直接返回 Nothing
• 正常递归分支：如果第一个元素是 Just x，先递归处理剩余列表 xs：
  • 若剩余列表处理结果为 Nothing，说明后半段存在无效值，整体返回 Nothing
  • 若剩余列表处理结果为 Just ls，说明后半段全是有效值，将当前的 x 拼接到 ls 头部，重新用 Just 包裹后返回

3. flipMaybe [Just 1, Just 2, Just 3] 执行分步 #

我们从外到内展开递归调用，再从内到外返回结果：

1. 调用 flipMaybe [Just 1, Just 2, Just 3]，匹配正常递归分支，x=1，xs=[Just 2, Just 3]，先计算 flipMaybe [Just 2, Just 3]
2. 调用 flipMaybe [Just 2, Just 3]，匹配正常递归分支，x=2，xs=[Just 3]，先计算 flipMaybe [Just 3]
3. 调用 flipMaybe [Just 3]，匹配正常递归分支，x=3，xs=[]，先计算 flipMaybe []
4. 调用 flipMaybe []，匹配边界分支，返回 Just []
5. 回到第三步的 case 判断：递归结果为 Just []，此时 ls=[]，返回 Just (3 : []) = Just [3]
6. 回到第二步的 case 判断：递归结果为 Just [3]，此时 ls=[3]，返回 Just (2 : [3]) = Just [2,3]
7. 回到第一步的 case 判断：递归结果为 Just [2,3]，此时 ls=[2,3]，返回 Just (1 : [2,3]) = Just [1,2,3]

最终执行结果为 Just [1,2,3]。

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