如何浏览数字列表并将其与我正在浏览的另一个列表进行比较？

Question

我想输入两个字符串，例如“Hello”和“Hi”，我想同时遍历两个字符串中的每个元素，并逐个比较每个字符。实际程序中两个字符串的长度应该是5，如果一个char相等，返回true，否则返回false。

我想到的程序应该在“Hello”中看到“H”，在“Hi”中看到“H”并返回真，然后我希望它检查“Hello”中的“e”和“Hello”中的“i” “嗨”并返回假。我希望它继续这样做，直到没有什么可比较的。我想我可能需要使用递归，但我不确定如何在这个程序中真正实现它。

我尝试使用最大范围为 5 的 x:xs 所以 [0..5]，但它根本不起作用。

我的代码（不工作）：

uncurryingString :: String -> Int -> Char
uncurryingString a b = a !! b

match :: String -> String -> [Int] -> Bool 
match a b (x:xs)
            |   uncurryingString a [x+1 | x <- xs]  == uncurryingString b [x+1 | x <- xs]       = True
            |   otherwise                                                                       = False 

Answer 1

你想这种方式太复杂了。

首先，根据经验，您应该永远不要使用!!（无论是直接使用还是通过一些帮助程序——uncurryingString 实际上与!! 本身完全相同）。如果需要直接索引，则列表不是正确的数据结构。但通常不需要直接索引，它只是在其他一些没有模式匹配的编程语言中习惯使用的方式来更优雅地做到这一点。

在您的应用程序中，您正在并行解构两个字符串。好吧，你应该用模式匹配来表达：

match (a:as) (b:bs) (x:xs) = ...

现在您可以直接比较a 和b，无需搞乱任何列表推导或索引运算符。在示例输入 "Hello" 和 "Hi" 中，a 和 b 在此处将是 'H'。

但您可能不想在此处返回True，因为还有字符串的其余部分要匹配。这就是递归的用武之地。

最后，如果不是所有输入列表都是非空的，您需要使用子句。试着自己弄清楚。

您可能根本不需要额外的[Int] 参数(x:xs)。 可能有一个深度限制参数，但这可能只是一个Int。然后你会做类似的事情

match :: Eq a => [a] -> [a] -> Int -> Bool
match _ _ 0 = True    -- lists are equal up to the specified max depth
match (a:as) (b:bs) n = ...
...

Answer 2

使用列表推导式通常是在 Haskell 中计算事物的好方法，但在这种特殊情况下并非如此。

我可以试试这个代码：

 [a==b | a <- "Hello", b <- "Hi"]

这是做什么的？您可能会认为这会返回 True，因为“H”字母匹配 - 或者您可能会认为这会返回 False，因为其他字母不匹配。事实上，它两者兼而有之 - 实际上，它正在运行多个嵌套循环。

[True,False,False,False,False,False,False,False,False,False]

因此，当您需要嵌套循环或只处理一个数据集时，要点是使用列表推导式。在这里，我们只需要一个并行处理两个单词的循环。因此它必须是递归的。