list - 使用foldl，编写一个将整数列表转换为整数的函数？

Question

我正在尝试编写一个函数 dec2int将整数列表转换为整数。我唯一的限制是我必须使用 foldl .
该函数的类型签名是:

dec2int :: [Int] -> Int

该功能应该以这种方式工作:

Input:  dec2int [2,3,4,5]
Output: 2345

我在这里找到了一个我理解的有效解决方案:

dec2int' = foldl (\x y -> 10*x +y) 0

我尝试使用 foldl 编写自己的解决方案按要求:

dec2int xs = foldl (\a b -> a + (b*(10^(l-1)))) 0 xs
                  where l = length xs

但是，我收到此错误:

ghci> dec2int [1,1]
20

我意识到了length xs的值(value)必须是恒定的。但是，我希望该值因我的功能而异。
我想以这种方式工作

0 + 1*10^((length [1,1])-1) = 10 = v
10 + 1 *10^((length [1])-1) = 11

如何在递归过程中引用列表？我想要 length xs 的值每次都要换foldl被递归调用？

Answer 1

您可以在折叠的阶梯函数中跟踪索引:

dec2int xs = snd $ foldl (\(i, a) b -> (i + 1, a + b * 10 ^ (l - i))) (1, 0) xs
  where l = length xs

但是，正如 Willem van Onsem 所说，这比实际需要的要复杂得多。