如何使用foldl实现将整数列表转换为整数的dec2int函数？

你的问题核心在于：定义的l = length xs是固定不变的——它在函数一开始就计算好了整个输入列表的长度，不会随着foldl的迭代过程动态调整。所以对于[1,1]，每次迭代里的10^(l-1)都是10^1=10，两次累加后得到0+10+10=20，这和你期望的「每次迭代对应不同幂次」的逻辑不符。

下面给你两种解决方案，其中第一种是最简洁高效的标准实现：

1. 推荐的标准foldl实现 #

你找到的dec2int' = foldl (\x y -> 10*x + y) 0其实完全符合需求，而且逻辑非常直观：

• 初始累加器设为0
• 每一步迭代，把当前结果乘以10（相当于把已有的数字左移一位，腾出个位空间），再加上当前的数字
• 以dec2int' [2,3,4,5]为例，计算过程是：

  foldl f 0 [2,3,4,5]
  = f (f (f (f 0 2) 3) 4) 5
  = f (f (f 2 3) 4) 5
  = f (f 23 4) 5
  = f 234 5
  = 2345
  

这个实现不需要跟踪列表长度，完全通过迭代过程自然构建目标整数，时间复杂度为O(n)，效率很高。

2. 按你设想的「动态幂次累加」实现 #

如果一定要遵循「每个元素乘以对应10的幂次再累加」的思路，我们需要让foldl的累加器同时跟踪两个状态：当前的累加结果，以及当前元素对应的10的幂次。这里可以用反转列表的技巧，让幂次从0开始递增（反转后第一个元素对应10^{0，第二个对应10}1，以此类推）：

dec2int :: [Int] -> Int
dec2int xs = fst $ foldl (\(acc, power) y -> (acc + y * 10^power, power + 1)) (0, 0) (reverse xs)

测试dec2int [1,1]的过程：

• 反转列表得到[1,1]
• 第一次迭代：(0 + 1*10^0, 0+1) = (1, 1)
• 第二次迭代：(1 + 1*10^1, 1+1) = (11, 2)
• 取元组的第一个元素，最终得到11，符合预期。

不过这个实现的效率不如标准版本，因为每次计算10^power会产生额外的幂次计算开销，所以更推荐使用第一种方案。

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