Question

我在这里有一个函数，用于查看元组列表，并通过获取第一个值来查找元组中的第二个值。这是迄今为止的功能：

lookup :: String -> [(String,String)] -> String
lookup _ _ [] = "Not found"
lookup x y zs = if (notFound x zs)
    then "Not found"
    else (head [b | (a,b) <- zs, (a==x)])

如果没有包含给定第一个字符串的元组，则notFound函数只返回一个Bool为true。问题是，我在Hugs中遇到这种类型的错误：

ERROR "find.hs" (line 22): Type error in explicitly typed binding
*** Term           : lookup
*** Type           : String -> [(String,String)] -> [a] -> String
*** Does not match : String -> [(String,String)] -> String

我认为这与虚拟的“未找到”值有关，该值与生成列表中的字符串具有不同的类型，但我不确定。

Answer 1

我认为您的显式类型声明是错误的。你有：

lookup :: String -> [(String,String)] -> String

但我认为应该是

lookup :: String -> String -> [(String,String)] -> String

实际上，在再看一遍之后，看起来你没有使用第二个参数“y”。所以你可以删除它和下划线，如此

lookup :: String -> [(String,String)] -> String
lookup _ [] = "Not found"
lookup x zs = if (notFound x zs)
  then "Not found"
  else (head [b | (a,b) <- zs, (a==x)])

这将允许您保留您的类型声明。

Answer 2

顺便说一下，你知道Haskell Prelude已经有了一个“查找”功能来查找关联列表中的条目吗？这里是类型签名（它更通用，接受实例Eq的任何键类型）：

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

所以你的功能将完成类似下面的内容

myLookup x zs = Maybe.fromMaybe "Not found" $ lookup x zs

Answer 3

乍一看，似乎应该删除第二个参数（'y'和第二个下划线）？声明查找采用两个参数，而不是三个。

Haskell：根据第一个值查找列表中元组的第二个值

3 个答案: