Haskell运行时错误：错误：前奏。（!!）：索引太大

Question

我在Haskell中的功能很长，有点古怪。

(#==#) :: String -> String -> Bool
str1 #==# str2 = (sum[ 1 | index <- [0..(max (length str1) (length str2))], (str1!!index == str2!!index || str1!!index == '$')] == (max (length str1) (length str2)))

简而言之，此函数检查两个字符串是否相同，如果它们具有一个或多个“ $”，则认为它们相同。 [长版本：为节省您的解密时间，它使用两个字符串，即列表理解中的一个索引变量从0到最长字符串的长度。 然后将当前索引处每个String的元素与彼此或美元符号进行比较。 都可以。 如果它们是其中之一，则将1添加到新列表，并且如果此新列表的总和等于长度，则该单词为匹配项。

当我尝试运行此命令时，出现一个奇怪的错误：

*Practice> let totals = (sum[ 1 | index <- [1..(max (length str1) (length str2))], (str1!!index == str2!!index || str1!!index == '$')] == (max (length str1) (length str2)))
*Practice> totals
*** Exception: Prelude.(!!): index too large

我一直在进行研究，但没有找到解决此特定错误的任何方法。 如果有人对此有所了解，我将不胜感激。

（顺便说一句，错误中的“索引”与我在函数中使用的索引不同）

Answer 1

跌倒!! 此任务表明您正在尝试将另一种语言塞入Haskell。 请允许我向您提出更Haskelly的解决方案。 据我了解，此函数执行标准的字符串相等性测试，但是第一个字符串允许包含字符$ ，这是一个可以与任何单个字符匹配的“通配符”。

回想一下Haskell中的String只不过是Char的列表。 因此，我们可以对两个列表构造函数进行模式匹配：空列表和非空列表。 将两个列表的两种可能性进行匹配可为我们提供四种可能的组合：

(#==#) :: String -> String -> Bool
[]     #==# []     = ???
(x:xs) #==# []     = ???
[]     #==# (y:ys) = ???
(x:xs) #==# (y:ys) = ???

考虑两个列表是否为空。 他们匹配吗？ 可以肯定地说，他们做到了。 事实证明，这是一个重要的基本案例选择，但是现在我只想吸引一个事实，那就是将空字符串放入原始代码中会产生True 。

[] #==# [] = True

让我们看一下中间的两种情况，其中一个列表为空，而另一个列表不是。

(x:xs) #==# []     = ???
[]     #==# (y:ys) = ???

您从未指定长度不一的清单应如何处理。 但是，为了保留看起来像您原始算法的内容，如果第一个列表中填充了$那么我们称其为好，否则就不是匹配项。 因此，我们将检查左侧列表的第一个元素，如果它是$ ，则将继续检查列表的其余部分。

('$':xs) #==# []    = xs #==# []
(x:xs)   #==# []    = False
[]       #==# (_:_) = False

让我们看一下有趣的情况，这两个都是非空的。

(x:xs) #==# (y:ys) = ???

如果左边第一个字符是$ ，那么我们忽略右边的任何字符，并继续检查。 如果绑定到x和y的字符相等，则再次检查。 如果它们不相等，那么我们以False停止。

('$':xs) #==# (_:ys) = xs #==# ys
(x:xs) #==# (y:ys)
  | x == y    = undefined {- exercise to the reader -}
  | otherwise = False

该技术使用原始递归，而不是列表推导。 如果您觉得这很陌生，那么我强烈建议您阅读LYAH>递归 ，以很好地介绍Haskell的方式。