列表中的 Haskell 递归

Question

我有这样的代码：

appd (a:e) ((c,b):bs) | a == c && bs /= [] = b:appd(a:e) bs
                      | a /= c && bs /= [] = appd (a:e) bs
                      | a /= c && bs == [] = appd e ((c,b):bs)
                      | otherwise          = b:appd e ((c,b):bs)

它遍历两个列表，如[1,2,3] 和[(1,2),(6,5),(3,5)]，并获取第一个列表的第一个元素并将其与另一个列表中每个元组的第一个元素进行比较，如果它们相等，则保存该元组的第二个元素。它工作正常，但如果我取第一个列表的第二个元素，则比较不起作用，在本例中为2。

例如，如果我有 [1,2,3] 和 [(1,2),(6,5),(3,5)] 之类的列表，则函数从第一个列表中获取 1 并与 1 进行比较，然后与 6 进行比较，然后与 3 进行比较。不采用第一个列表的第二个元素 - 2 并且不会再次进行比较。怎么了？

Answer 1

首先，让我注意到您应该包含您收到的错误消息。您还应该向我们展示一些示例输出和示例输入。

---

无论如何：您当前的 appd 不处理空列表，因此您需要首先为此添加案例：

appd _     []          = []
appd []    bs          = snd <$> bs  -- you can decide to use [] instead
appd (a:e) ((c,b):bs)
  | a == c && bs /= [] = b:appd(a:e) bs
  | a /= c && bs /= [] = appd (a:e) bs
  | a /= c && bs == [] = appd e ((c,b):bs)
  | otherwise          = b:appd e ((c,b):bs)

现在您的函数可以在您提供的输入上运行，但我不确定它是否会返回您想要的结果：

*Main> appd [1,2,3] [(1,2),(6,5),(3,5)]
[2,5,5]

---

此外，我已经稍微清理了您的代码，并使用显式类型签名对您的函数进行了注释：

appd :: (Eq a, Eq b) => [a] -> [(a,b)] -> [b]
appd []         bs      = snd <$> bs
appd _          []      = []
appd as@(a:ass) bs@((c,b):bss)
  | a == c && bss /= [] = b : appd as  bss
  | a /= c && bss /= [] =     appd as  bss
  | a /= c && bss == [] =     appd ass bs
  | otherwise           = b : appd ass bs

---

另外，您可以使用更简单的非递归实现来获得与上述相同的结果：

appd :: (Eq a, Eq b) => [a] -> [(a,b)] -> [b]
appd as bs = snd <$> filter (\(a,_) -> a `elem` as) bs

或者如果你喜欢point free（又名tacit）：

appd :: (Eq a, Eq b) => [a] -> [(a,b)] -> [b]
appd as = (snd <$>) . filter ((`elem` as) . fst)

---

注意：<$> 是 fmap 的别名，当用于列表时，其行为与 map 完全相同。