これら2つの上位関数はどのように異なっていますか？

Question

次の2つの高次関数は同じ結果をもたらしますが、私はこの2つの違いを理解することができません。実際、私は1）を理解していない。関数はどのようにして()の2つのセットを持つことができますか？

1）

def sum(f: Int => Int) (a: Int, b: Int) = { 
    def loop(a: Int, acc: Int) : Int = 
     if (a > b) acc 
     else loop (a + 1, f(a) + acc) 
    loop (a, 0) 
} 

2）

def sum(f: Int => Int, a: Int, b: Int) = { 
     def loop(a: Int, acc: Int) : Int = 
     if (a > b) acc 
     else loop (a + 1, f(a) + acc) 
     loop (a, 0) 
} 

Answer 1

最初の関数はカリーあります。つまり、部分的に適用することができます。最初のパラメータリストのみを使用する場合は、関数(Int, Int) => Intを持つ別の関数が返されます。

特定の関数シグネチャを持つ関数をmapやreduceのような上位関数に渡す必要がある場合には、これは本当に便利です。

Haskellのような他の関数型プログラミング言語では、すべての関数がデフォルトでカリーされます。 興味がある場合に備えて、このトピックに関する全ブログ投稿を書いた。あなたはそれを読むことができますright here.