Haskellのエラー（\ AB - >（SNDのA + SND B））？[（1,2）、（3,4）]

Question

しないのはなぜこの作品

Prelude> foldl1 (\a b -> ((snd a) + (snd b))) [(1,2),(3,4)] 

<interactive>:1:17: 
    Occurs check: cannot construct the infinite type: b = (a, b) 
     Expected type: (a, b) 
     Inferred type: b 
    In the expression: ((snd a) + (snd b)) 
    In the first argument of `foldl1', namely 
     `(\ a b -> ((snd a) + (snd b)))' 

Answer 1

foldl1 " 2つの入力引数と戻り値が同じ型でなければなりません。式では、Num b => (a, b)の2タプルが返され、純粋な数値ではないNum b => bが返されることが予想されます。

foldlを使用して、初期値、たとえば

を指定することができます

foldl (\acc elm -> acc + snd elm) 0 [(1,2),(3,4)] 

または使用する既存の機能

(sum . map snd) [(1,2),(3,4)] 

Answer 2

あなたはfoldl1に提供機能は、お使いのアレイにある同じ型の値を返す必要があります。

配列にはタイプ(Number, Number)のタプルが含まれていますが、タイプはNumberです。

あなたはこのケースでは数を返したい場合は、あなたではなくfoldl1よりfoldlを使用する必要がありますし、（KennyTMは上に書いたように：D）ややこれをwritewrite