Haskell 列表理解和模式匹配

Question

我正在寻找一个函数，它给我一个字母的所有匹配数字，例如giveNumber "D" [("D", 5), ("A", 4) ("D", 25)] = [5,25]

giveNumber :: String -> [(String, a)] -> [a]
giveNumber letter (x:xs) = [snd x | x <- xs | fst x == letter]

我收到一个解析器错误。

Answer 1

您不需要模式匹配或列表推导式，因为我认为使用 filter 和 map 会更容易：

giveNumber :: (Eq a) => [(a, b)] -> [b]
giveNumber x ys = map snd $ filter ((== x) . fst) ys

虽然您可以通过对代码进行一些小的调整来做到这一点：

giveNumber letter xs = [snd x | x <- xs, fst x == letter]

这对您来说可能更有意义，但两者的执行时间大致相同。 你做错的是你有一秒钟| 理解中需要逗号的符号，并且您不需要模式匹配(x:xs)作为参数，因为x <- xs循环遍历所有xs 。

或者，你可以更简单地做

giveNumber letter xs = [y | (x, y) <- xs, x == letter]

在这三个选项中，这个可能是最易读和最容易理解的，但我最喜欢第一个，因为它都是由高阶函数组成的，可以简化为 eta

giveNumber x = map snd . filter ((== x) . fst))

使ys参数隐式。

您可能还对内置的lookup功能感兴趣：

lookup :: Eq a => a -> [(a, b)] -> Maybe b

但这只会查找单个元素，可能会失败。

Answer 2

你有两个小错误：

1) 你在[("D", 5), ("A", 4) , ("D", 25)]错过了昏迷

2) 在你使用的列表理解中| 两次，不是一次

giveNumber letter xs = [snd x | x <- xs , fst x == letter]

你可以写得更漂亮一点：

giveNumber letter xs = [y | (x,y) <- xs , x == letter]

顺便说一下，这个函数比String -> [(String, a)] -> [a]更通用：

giveNumber :: Eq a => a -> [(a, t)] -> [t]