list - Haskell 中的 span 函数

Question

我认为span函数Haskell是将谓词应用于列表，并返回一个元组，其中第一个元素是列表中满足该条件的元素谓词，第二个元素是列表的提醒。

当我输入以下内容时效果很好: span (<3) [1,2,4,5,6] 。它只是在 GHCI 中返回: ([1,2], [4,5,6]) .

但是，当我输入span (>3) [1,2,4,5,6]时，它返回 ([],[1,2,4,5,6]) 。但我认为它应该返回 ([4,5,6],[1,2]) 。所以我想知道其中的原因。

Answer 1

您对span的理解不完全正确，官方文档是这样说的:

span, applied to a predicate p and a list xs, returns a tuple where first element is longest prefix (possibly empty) of xs of elements that satisfy p and second element is the remainder of the list

(强调我的)。

因此，谓词从头开始应用于列表的每个元素。这意味着谓词

span (<3) [1,2,4,5,6]

满足前两个元素，结果为

([1,2], [4,5,6])

但在另一个例子中

span (>3) [1,2,4,5,6]

列表的第一个元素已经不满足谓词，因此返回的元组的第一个元素将是一个空列表。