如何从元组列表提取值列表？Haskell foldl代码报错求助

你的代码存在两个关键错误：

• foldl参数顺序颠倒：foldl的调用格式为foldl 折叠函数 初始值 目标列表，你把目标列表和初始值写反了，导致初始值变成元组列表、待折叠列表变成空列表，类型完全不匹配。
• 折叠函数参数顺序错误：foldl要求折叠函数的第一个参数是累加器（类型与初始值一致，这里是[Double]），第二个参数是列表中的元素（这里是(Double, Double)元组）。你写的\t xl -> ...把累加器当成元组去调用fst，自然会触发类型不匹配错误。

修复后的代码（三种可选方式） #

方式1：修正foldl的参数与函数顺序（需反转结果）

foldl是从左到右折叠，直接构建列表会得到逆序结果，需要最后反转：

x_list:: [(Double, Double)] -> [Double]
x_list list = reverse $ Prelude.foldl (\acc t -> fst t : acc) [] list

方式2：用foldr直接构建正序列表

foldr的函数参数顺序是元素 -> 累加器 -> 新累加器，更符合正向构建列表的逻辑，无需反转：

x_list:: [(Double, Double)] -> [Double]
x_list list = Prelude.foldr (\t acc -> fst t : acc) [] list

方式3：用map实现（最简洁）

提取元组第一个元素的场景，map是最适配的工具，完全不需要用折叠：

x_list:: [(Double, Double)] -> [Double]
x_list = map fst

错误提示解读 #

报错里的“预期类型是(Double, b0)，实际是[Double]”，本质是你把作为累加器的空列表[]当成元组去调用fst，而累加器的类型是[Double]，和fst要求的元组类型不匹配。

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