搜索元组列表

Question

我正在尝试编写一个接受字符串和元组对列表的函数。我想搜索元组列表，如果元组中的第一个值与输入字符串匹配，我想返回该对中的第二个值。我相信它的功能类似于lookup 功能，但我不确定如何实现它。到目前为止，这是我的想法：

search :: a -> [(a,b)] -> Maybe b
search a (x:xs) = if a == first value in x, return second value in x
-- If a is not in the list of tuples, return "Nothing"

这方面的一个例子是：

search "x" ([("x", 3), ("z", 5)]) = 3
search "x" ([("y", 3), ("z", 5)]) = Nothing

Answer 1

find 可以检索满足任意条件的第一个元素，因此您可以围绕它构建函数：

-- 'fmap snd' acts on the 'Maybe (a, b)' that 'find' gives back.
search :: Eq a => a -> [(a,b)] -> Maybe b
search a = fmap snd . find ((== a) . fst)

请注意，这与lookup 完全相同。此外，正如 leftaroundabout 所指出的，3（与Just 3 相对）不是具有Maybe b 结果类型的函数的可能结果。当您实际需要使用结果时，可以消除 Maybe 包装，例如使用 maybe 函数：

GHCi> :t maybe
maybe :: b -> (a -> b) -> Maybe a -> b
GHCi> (maybe "No x" (("x ~> " ++) . show) . search "x") ([("x", 3), ("z", 5)])
"x ~> 3"
GHCi> (maybe "No x" (("x ~> " ++) . show) . search "x") ([("y", 3), ("z", 5)])
"No x"

Answer 2

在基本情况下，如果列表为空，则返回Nothing。然后，如果头部元组的第一个元素a等于元素x，则返回第二个元素Just b。否则，它会递归地在尾部搜索。

search :: (Eq a) => a -> [(a,b)] -> Maybe b
search _ [] = Nothing
search x ((a,b):xs) = if x == a then Just b else search x xs

你可以在没有Maybe的情况下实现一个不安全的版本：

search :: (Eq a) => a -> [(a,b)] -> b
search _ [] = error "element not found"
search x ((a,b):xs) = if x == a then b else search x xs

其他选项是搜索列表而不是第一次出现，然后，空列表[] 相当于Nothing：

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

Answer 3

只需使用结合 lambda 的简单映射：

searchMe :: (Eq a) => a -> [(a, b)] -> [Maybe b]
searchMe a li = map (\(x, y) -> if a == x then Just y else Nothing ) li

按原样操作您的函数将无法正常工作，因为您将列表参数定义为 (x : xs)，这无法让您将操作应用于元组的元素。