Haskell中如何将([Integer],[Integer])转换为[(Integer,Integer)]？

嘿，这个需求其实在Haskell里有非常简洁的实现方式！你提到想用map这类高阶函数，但单独的map确实没法直接处理两个列表的配对——因为map只针对单个列表的元素进行转换。不过别担心，我们可以结合专门处理双列表配对的zip函数来搞定。

最简洁的实现：uncurry zip #

首先看你的函数签名：alterList :: ([Integer],[Integer]) -> [(Integer,Integer)]，而Haskell内置的zip函数签名是[a] -> [a] -> [(a,a)]——它接收两个长度相同的列表，返回对应位置元素配对的新列表，完全符合你的输出需求。

问题在于zip是柯里化的（接受两个单独的列表参数），而你的函数接收的是一个包含两个列表的元组。这时候uncurry函数就派上用场了：它能把接受两个参数的柯里化函数，转换成接受一个元组参数的函数。所以你的函数可以直接写成：

alterList :: ([Integer],[Integer]) -> [(Integer,Integer)]
alterList = uncurry zip

更直观的模式匹配写法 #

如果你觉得uncurry有点抽象，也可以用模式匹配直接拆开元组，再调用zip：

alterList :: ([Integer],[Integer]) -> [(Integer,Integer)]
alterList (xs, ys) = zip xs ys

这两种写法是完全等价的，测试一下你给的例子：
输入([1,2,3,4],[5,6,7,8])，输出就是[(1,5),(2,6),(3,7),(4,8)]，完美符合预期。

关于你提到的map的补充 #

如果一定要用map来实现（虽然没必要，因为zip已经是最优解），你可以借助索引来关联两个列表的元素，但这种方法效率较低（因为!!操作是O(n)的），示例如下：

alterList :: ([Integer],[Integer]) -> [(Integer,Integer)]
alterList (xs, ys) = map (\(idx, x) -> (x, ys !! idx)) (zip [0..] xs)

但强烈推荐前面两种用zip的方法，更简洁高效。

内容的提问来源于stack exchange，提问作者Prototype