如何找到一个列表作为另一个列表的子列表出现的索引？

Question

我已经使用 Haskell 一个多星期了，所以我正在练习一些可能对某些事情有用的函数。我想递归地比较两个列表。当第一个列表出现在第二个列表中时，我只想返回列表开始匹配的索引。索引将从 0 开始。下面是我要执行的示例以进行说明：

subList [1,2,3] [4,4,1,2,3,5,6] 

结果应该是 2

我已尝试对其进行编码：

subList :: [a] -> [a] -> a
subList [] = []
subList (x:xs) = x + 1 (subList xs)
subList xs = [ y:zs | (y,ys) <- select xs, zs <- subList ys]
        where select []     = []
              select (x:xs) = x

我收到“输入错误”，我无法弄清楚为什么我的语法不起作用。有什么建议吗？

Answer 1

我们先看一下函数签名。你想接受两个列表，它们的内容可以比较是否相等，并返回一个像这样的索引

subList :: Eq a => [a] -> [a] -> Int

所以现在我们对参数进行模式匹配。首先，当第二个列表为空时，我们无能为力，所以我们将返回 -1 作为错误条件

subList _ [] = -1

然后我们看递归步骤

subList as xxs@(x:xs)
  | all (uncurry (==)) $ zip as xxs = 0
  | otherwise                       = 1 + subList as xs

您应该熟悉我使用的保护语法，尽管您可能不熟悉 @ 语法。从本质上讲，这意味着xxs 只是我们使用(x:xs) 的子输入。

你可能不熟悉all、uncurry，可能还有zip，所以让我详细说明一下。 zip 具有函数签名zip :: [a] -> [b] -> [(a,b)]，因此它需要两个列表并将它们的元素配对（如果一个列表比另一个长，它只是砍掉多余的）。 uncurry 很奇怪，所以让我们看看(uncurry (==))，它的签名是(uncurry (==)) :: Eq a => (a, a) -> Bool，它本质上是检查对中的第一个和第二个元素是否相等。最后，all 将遍历列表，查看每对的第一个和第二个是否相等，如果是则返回 true。