Haskell递归实现对偶列表转列表对偶的问题求助

你需要先明确递归的基础终止条件，再通过列表构造符正确合并递归结果——Haskell里不能用+来合并元组或列表，这是你之前代码失效的核心原因。

完整实现代码 #

listOfPairs :: [ ( String , Int ) ] -> ( [ String ] , [ Int ] )
listOfPairs [] = ([], [])  -- 空列表的基础情况：返回两个空列表的元组
listOfPairs ((a,b):xs) = let (strList, intList) = listOfPairs xs
                         in (a : strList, b : intList)

代码逻辑说明 #

1. 基础终止条件：当输入是空列表[]时，直接返回([], [])，这是递归的终点，避免无限递归。
2. 递归处理逻辑：
   • 对于非空列表((a,b):xs)，先递归调用listOfPairs xs，得到剩余元素拆分后的结果(strList, intList)。
   • 把当前元素的字符串部分a加到strList的头部，整数部分b加到intList的头部，最终组合成新的元组返回。

举个实际运行的例子，处理[("a",1), ("b",2)]的过程：

• 先处理("b",2):[]，递归调用listOfPairs []得到([], [])，组合成("b":[], 2:[])即(["b"], [2])。
• 再处理("a",1):[("b",2)]，拿到递归结果(["b"], [2])，组合成("a":["b"], 1:[2])，也就是最终的(["a","b"], [1,2])。

另一种等价写法（用where绑定结果） #

如果你习惯用where替代let，也可以写成：

listOfPairs :: [ ( String , Int ) ] -> ( [ String ] , [ Int ] )
listOfPairs [] = ([], [])
listOfPairs ((a,b):xs) = (a : strList, b : intList)
  where (strList, intList) = listOfPairs xs

你之前尝试的+之所以无效，是因为Haskell中+仅支持数值类型的加法，元组和列表并没有实现这个运算符。用:构造列表是更高效的方式（时间复杂度O(1)），比用++拼接整个列表（O(n)）性能更优。

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