Question

如何使用作为元组列表的参数定义函数？所以输入的一个例子是

[("hey", False), ("you", True)]

我的函数将元组列表作为：[（String，Bool）] 所以这就是它的样子：

aFunc :: [(String, Bool)] -> Bool
aFunc ???? =

那我该怎么办？能够访问我的元组？任何帮助都会很棒。谢谢。

编辑：

aFunc :: [(String, Bool)] -> Bool
aFunc aTuple = mapM_ lookup aTuple?

那么如何在函数中访问我的元组？这不起作用。

Answer 1

您似乎正在尝试实施自己的lookup版本。您可以使用列表解析编写简单版本：

lookup' :: String -> [(String,Bool)] -> Bool
lookup' k lkp = head $ [v | (k',v) <- lkp, k'==k]

或使用filter：

lookup'' :: String -> [(String,Bool)] -> Bool
lookup'' k lkp = snd $ head $ filter ((==k) . fst) lkp

请注意，这些版本是不安全的 - 也就是说，如果列表中没有包含您的项目，它们会因为丑陋且无法提供信息而失败：

ghci> lookup' "foo" [("bar",True)]
*** Exception: Prelude.head: empty list

您可以编写自己的自定义错误消息来解决此问题：

lookupErr :: String -> [(String,Bool)] -> Bool
lookupErr k lkp = case [v | (k',v) <- lkp, k'==k] of
                     (v:_) -> v
                     [] -> error "Key not found!"

更好的方法是返回Maybe Bool代替：

lookupMaybe :: String -> [(String,Bool)] -> Maybe Bool
lookupMaybe k lkp = case [v | (k',v) <- lkp, k'==k] of
                     (v:_) -> Just v
                     [] -> Nothing

库版本采用这种方法，并且具有更通用的签名：

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

您可以阅读其实施here。

作为函数的元组列表Haskell中的参数

1 个答案: