Haskell如何实现生成列表中所有可能的数对？

你需要的是生成列表中每个元素和它之后所有元素组成的数对，而zip只能实现相邻位置的元素配对，所以无法得到完整结果。下面提供两种简洁的实现方案：

方案1：使用tails和列表推导式 #

先导入Data.List模块的tails函数，它会生成列表的所有后缀序列。结合列表推导式可以轻松实现需求：

import Data.List (tails)

numPairs :: [a] -> [(a, a)]
numPairs xs = [(x, y) | (x:ys) <- tails xs, y <- ys]

工作原理 #

以输入[1,7,4]为例：

• tails [1,7,4]会生成[[1,7,4], [7,4], [4], []]
• 遍历每个非空的后缀x:ys：
  • 第一个后缀1:[7,4]，将1分别与7、4配对，得到(1,7)、(1,4)
  • 第二个后缀7:[4]，将7与4配对，得到(7,4)
  • 后续的单元素或空后缀不会生成新配对
• 最终结果就是[(1,7), (1,4), (7,4)]

方案2：递归实现 #

如果不想依赖Data.List，可以用递归逻辑直接实现：

numPairs :: [a] -> [(a, a)]
numPairs [] = []          -- 空列表返回空
numPairs [_] = []         -- 单元素列表返回空
numPairs (x:xs) = map (\y -> (x, y)) xs ++ numPairs xs

工作原理 #

• 取列表的第一个元素x，用map把x和后面所有元素xs配对
• 递归处理剩余的列表xs，将两部分结果拼接起来
• 同样以[1,7,4]为例：先生成[(1,7), (1,4)]，再递归处理[7,4]得到[(7,4)]，拼接后得到目标结果

为什么zip不行？ #

zip xs (tail xs)只能将列表中相邻位置的元素配对，比如zip [1,7,4] (tail [1,7,4])会得到[(1,7), (7,4)]，漏掉了(1,4)这种非相邻的前置-后置配对，因此不符合需求。

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