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必须是恒定的。但是，我希望值因我的功能而异。

我想以这种方式工作

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

如何在递归期间引用列表？我希望length xs每次更改的值foldl都被递归调用？

Answer 1

您可以在折叠的 step 函数中跟踪索引：

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

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