Haskell：如何将列表的列表转为单个列表？列表推导式问题求助

你的代码核心存在两个问题：类型不匹配和递归逻辑偏差，导致无法编译运行。

1. 类型不匹配问题 #

你给pH声明的类型是Int -> Int -> [Int] -> [Int]，但otherwise分支用列表推导式[x:pH n z xs|z<-[n-x,n-x-1..1]]返回的是[[Int]]（每个x:pH n z xs是[Int]，整个推导式是列表的列表），直接违反了类型签名，这是编译报错的直接原因。

2. 递归逻辑偏差 #

你的目标是生成整数n的分拆（即把n拆成正整数之和的无序组合），但当前逻辑存在以下问题：

• 终止条件不合理：pH _ 0 xs = []没有处理xs可能已经是有效分拆的情况；
• 递归时未控制分拆的元素顺序，会生成重复的分拆（比如[3,1]和[1,3]会被视为同一个分拆，但你的逻辑会同时生成）；
• 主函数中[pH n x []|x<-[n-1,n-2..1]]会生成[[[Int]]]，需要展平才能得到正确的分拆列表。

修复后的代码 #

partition :: Int -> [[Int]]
partition n = concat [pH n x [] | x <- [n-1, n-2..1]]
    where
        pH :: Int -> Int -> [Int] -> [[Int]]
        -- 当当前累加和等于目标，返回包含当前分拆的列表
        pH target _ xs | sum xs == target = [xs]
        -- 当前数加上累加和超过目标，无法构成有效分拆，返回空
        pH target current xs | current + sum xs > target = []
        -- 当前数加上累加和刚好等于目标，返回这个新分拆
        pH target current xs | current + sum xs == target = [current : xs]
        -- 否则递归：选择当前数，或者选择更小的数（保证非递增，避免重复）
        pH target current xs = 
            concat [current : sub | sub <- pH target current (current : xs)] ++
            pH target (current - 1) xs

关键修复点说明 #

• 修正pH的类型为Int -> Int -> [Int] -> [[Int]]，让它返回所有可能的有效分拆列表；
• 调整终止条件，明确判断累加和与目标的关系，返回正确的分拆集合；
• 递归时通过限制下一次选择的数不大于当前数，保证分拆是非递增的，避免生成重复结果；
• 主函数用concat展平pH调用的结果，从[[[Int]]]转换为[[Int]]，符合partition的返回类型。

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