如何修复 Haskell 中的字符匹配错误列表？

Question

我正在尝试编写一个函数，该函数通过匹配其第一个组件来找到一对并返回该对的第二个组件。当尝试查找未出现在密码密钥中的字符时，该函数应使其保持不变。例子：

ghci> lookUp 'B' [('A','F'), ('B','G'), ('C','H')]
'G'
ghci> lookUp '9' [('A','F'), ('B','G'), ('C','H')]
'9'

我有一个密钥，我不确定它是否有用，但它是：

alphabet = ['A'..'Z']

makeKey :: Int -> [(Char, Char)]
makeKey k = zip alphabet (rotate k alphabet)

输出如下：

ghci> makeKey 5
[('A','F'),('B','G'),('C','H'),('D','I'),('E','J'),('F','K'),
('G','L'),('H','M'),('I','N'),('J','O'),('K','P'),('L','Q'),
('M','R'),('N','S'),('O','T'),('P','U'),('Q','V'),('R','W'),
('S','X'),('T','Y'),('U','Z'),('V','A'),('W','B'),('X','C'),
('Y','D'),('Z','E')]

这是我目前的代码：

lookUp :: Char -> [(Char, Char)] -> Char
lookUp a xs = [ c | (b,c) <- xs, b == a ]

当我尝试运行它时，它会产生一个列表和字符不匹配错误。我该如何解决这个问题？

Answer 1

使用 list comprehension 您可以返回一个 list 项目。如果您因此将其实现为：

lookUp :: Char -> [(Char, Char)] -> [Char]
lookUp a xs = [ c | (b,c) <- xs, b == a ]

您将检索Characters (a String) 的列表，其中包含 2 元组的第二项 c，给定第一项 b 的那 2 -tuple 匹配查询a。

但是你不想检索一个列表，而是只检索第一个匹配项，或者给定的相同项目不在 2 元组列表中。

我们可以通过递归来实现这一点，我们枚举列表的元素，如果我们找到给定的项目，我们返回第二个项目。如果找不到 2 元组，第一项是我们正在寻找的项目，我们返回我们正在寻找的项目：

lookUp :: Eq a => a -> [(a, a)] -> a
lookUp query = go
    where go [] = …  -- (1)
          go ((xa, xb) : xs)
              | query = xa = …  -- (2)
              | otherwise = …  -- (3)

您需要在哪里填写… 部分。对于第三种情况，您需要在列表的尾部xs 上进行递归。