list - 浏览 Haskell 中的列表拆分功能

Question

这是我之前的 question 的后续。

我试图从 here 了解 Haskell 中的列表拆分示例:

foldr (\a ~(x,y) -> (a:y,x)) ([],[])

我可以阅读 Haskell 并知道 foldr 是什么，但不理解这段代码。你能带我看一下这段代码并更详细地解释它吗？

Answer 1

让我们尝试在示例输入列表上运行此函数，例如 [1,2,3,4,5] :

我们从 foldr (\a ~(x,y) -> (a:y,x)) ([],[]) [1,2,3,4,5] 开始.这里a是列表的第一个元素，(x,y)以 ([],[]) 开头, 所以 (a:y,x)返回 ([1],[]) .

输入列表的下一个元素是 a = 2 , 和 (x,y) = ([1],[]) , 所以 (a:y,x) = ([2],[1]) .请注意，列表的顺序已交换。每次迭代都会再次交换列表；但是，输入列表的下一个元素将始终添加到第一个列表中，这就是拆分的工作原理。

输入列表的下一个元素是 a = 3 , 和 (x,y) = ([2],[1]) , 所以 (a:y,x) = ([3,1],[2]) .

输入列表的下一个元素是 a = 4 , 和 (x,y) = ([3,1],[2]) , 所以 (a:y,x) = ([4,2],[3,1]) .

输入列表的下一个元素是 a = 4 , 和 (x,y) = ([4,2],[3,1]) , 所以 (a:y,x) = ([5,3,1],[4,2]) .

没有剩余元素了，所以返回值为([5,3,1],[4,2]) .

如演练所示，split 函数的工作原理是维护两个列表，在每次迭代时交换它们，并将输入的每个元素附加到不同的列表中。