foldrを使用してfoldrをforwardに変換します。

Question

ビット配列を右から左へ[0,1,0,1] = 10は、

binToInt = foldr (\x xs -> x + 2 * xs) 0 

で読み取ることができます。 [1,0,1,0] = 10

私はこれが働くだろうと思った：

binToInt' = foldr (\x xs -> (x * ((^) 2 (length xs)) + xs) 0 

しかし、私はエラーを取得する：私が間違って

Couldn't match type `t0 a0' with `Int' 

何をやっていますか？

（私はbinToIntの結果を逆転しています周りの仕事として）

Answer 1

私は私の問題を解決しました：

に繰り広げられる

binToInt' = foldl (\acc x -> x + 2 * acc) 0 

：

あなたのように `xs`を使用することはできません

f = (\acc x -> x + 2 * acc) 
foldl f 0 
    [1,0,1,0] 
    (f [1,0,1]) * 2 + 0 
    ((f [1,0]) * 2 + 1) * 2 + 0 
    (((f [1]) * 2 + 0) * 2 + 1) * 2 + 0 
    ((((f []) * 2 + 1) * 2 + 0) * 2 + 1) * 2 + 0 
    ((((0) * 2 + 1) * 2 + 0) * 2 + 1) * 2 + 0