関数は3つではなく4つの引数を取ります - なぜこれは壊れませんか？

Question

は、95ページの、「実世界Haskellのを」読む著者は例を提供します。

myFoldl f z xs = foldr step id xs z 
    where step x g a = g (f a x) 

私の質問は：なぜ、このコードはコンパイルのでしょうか？ foldrには3つの引数しかありませんが、ここでは4つを渡します：step、id、xs、z。 （合計が1を想定しているため）

例えば、これは動作しません：

sum filter odd [1,2,3] 

ではなく、私が書く必要があります。

sum $ filter odd [1,2,3] 

Answer 1

ここfoldrのタイプです：

Prelude> :t foldr 
foldr :: (a -> b -> b) -> b -> [a] -> b 

は、我々はそれが4引数の関数となる方法を見つけ出すことはできますか？やるだけやってみよう！

1. 我々は二番目のパラメータ（b）としてそれをid :: d -> dを与えて、それでは、型にそれを置き換えてみましょうしている：Haskellでは

   (a -> (d -> d) -> (d -> d)) -> (d -> d) -> [a] -> (d -> d) 
   

2. 、a -> a -> aが私たちを与える、a -> (a -> a)と同じです（括弧の最後のセットを削除する）：

   (a -> (d -> d) -> (d -> d)) -> (d -> d) -> [a] -> d -> d 
   

3. さんが簡素化させ、を代入しては(d -> dため(a -> (d -> d) -> (d -> d))とf）のために、読みやすくするために：

   e -> f -> [a] -> d -> d 
   

だから我々ははっきり私たちは4引数の機能を構築してきたことがわかります！頭が痛い。ここ

---

は、n引数のFUNCからN + 1引数の関数を作成する簡単な例は次のとおり

Prelude> :t id 
id :: a -> a 

id 1つの引数の関数です。

Prelude> id id id id id 5 
5 

しかし、私はただ5つの引数を与えました！

Answer 2

それが原因foldrがどのように多型のためです：

foldr :: (a -> b -> b) -> b -> [a] -> b 

ここでは、bを関数型にインスタンス化しました。それを01としましょう。、foldrのタイプは、（例えば）に特化したように

foldr :: (a -> (c -> c) -> (c -> c)) -> (c -> c) -> [a] -> c -> c 

Answer 3

foldrはわずか3つの引数

間違っかかります。 Haskellのすべての関数は、1つの引数をとり、正確に1つの結果を生成します。

foldr :: (a -> b -> b) -> b -> [a] -> b 

を参照してください、foldrは一つの引数(a -> b -> b)を取り、1件の結果生成：b -> [a] -> bを。あなたは、この表示された場合：

foldr step id xs z 

を、それがこのためだけの速記であることに注意してください：これはナンセンスである理由

((((foldr step) id) xs) z) 

これは説明する：

sum filter odd [1,2,3] 
(((sum filter) odd) [1,2,3]) 

sum :: Num a => [a] -> aは、その入力としてリストを取りますあなたはそれに機能を与えました。