Haskell中如何判断字符串列表所有元素都存在于字符串二元组列表

你写的代码存在两处明确错误：

• 边界条件定义不完整
  你写的第一个匹配分支func [] ((y,z):ys) = True只覆盖了第一个参数为空、第二个参数非空的场景，当调用func [] []时会没有匹配分支，直接触发运行时异常。正确的边界逻辑是只要待检查的字符串列表为空，无论二元组列表是什么都满足条件，应该改成func [] _ = True。
• 核心遍历逻辑错误
  你当前的写法是同步遍历两个输入列表，当为第一个列表的某个元素找到匹配的二元组后，后续元素的查找只会在当前二元组之后的剩余列表中匹配，会漏掉前面二元组中的元素。比如测试用例func ["Jeff", "Thomas"] [("Thomas", "22"), ("Jeff", "16")]，你的代码会返回False，但正确结果应该是True，就是因为匹配到Jeff之后，查找Thomas时已经不会再回头匹配第一个二元组的Thomas了。

你可以先把二元组的所有元素提取出来，再判断所有待检查字符串都在提取的集合中，简洁实现如下：

func :: [String] -> [(String,String)] -> Bool 
func strs tuples = all (`elem` allTupleStrs) strs
  where allTupleStrs = concatMap (\(a, b) -> [a, b]) tuples

如果你希望保留原生递归写法，可以拆分逻辑：先写一个辅助函数判断单个字符串是否存在于二元组列表中，再遍历第一个列表检查所有元素：

elemInTuple :: String -> [(String, String)] -> Bool
elemInTuple _ [] = False
elemInTuple s ((y,z):ys)
  | s == y || s == z = True
  | otherwise = elemInTuple s ys

func :: [String] -> [(String,String)] -> Bool 
func [] _ = True
func (x:xs) tuples = elemInTuple x tuples && func xs tuples

内容的提问来源于stack exchange，提问作者program.exe