Haskell，从列表元组中提取两个列表

Question

我正在使用 2 个辅助函数进行“合并排序”。第一个辅助函数将列表拆分为列表元组，将奇数和偶数索引放在单独的列表中。

Example: [1,2,3,4,5,6]
Returns: ([1,3,5],[2,4,6])

第二个辅助函数假定列表已排序并合并它们。

我将使用这两个函数来实现一个未排序列表的合并排序。

我有这个非常低效的片段，它基本上拆分 (length - 1) * 2 次并合并列表 (length - 1) 次。

   sort length (z:zs)
        | length == 0 = (z:zs)
        | otherwise   = sort (length - 1) (merge (fst (split(z:zs))) (snd (split(z:zs)))

我调用 split 两次以获得与第一次拆分相同的信息，但我递归的不够远（每个列表只是一个单例，然后将它们全部合并）。

如何递归到单例情况并同时提取元组的两个元素？

提前感谢您提供的任何帮助。

Answer 1

您可以使用uncurry 将merge 转换为非柯里化函数并将split(z:zs) 作为参数传递：

sort (length - 1) $ uncurry merge $ split (z:zs)

uncurry 函数将a -> b -> c 类型的函数转换为(a, b) -> c 类型的函数。在您的情况下，merge 的类型为 [a] -> [a] -> [a]，而 uncurry merge 的类型为 ([a], [a]) -> [a]，([a], [a]) 的返回类型为 split。

或者，您可以简单地使用let 或where 子句来引用split 的结果：

let (left, right) = split (z:zs)
in sort (length - 1) $ merge left right

这是一个改进版：

let res = split (z:zs)
in sort (length - 1) $ merge (fst res) (snd res)

---

附带说明您的sort 函数不正确。你的定义是这样的：

sort length (z:zs) = ...

但是这仅匹配 非空 列表。当它永远不会发生时，考虑length == 0 的情况也是毫无用处的。

你对sort的定义也应该考虑空壳：

sort _ [] = []
sort length (z:zs) = ...