高阶函数

Question

在使用Scala进行功能编程的过程中，我看到了def的两种形式的声明。但我不知道它们之间的差异，以及给出的名称。我如何才能获得更多相关信息？

宣言1

def sum(f: Int => Int)(a: Int, b: Int): Int = ???

宣言2

def sum(f: Int => Int, a: Int, b: Int): Int = ???

Answer 1

第一个称为curried语法。

您可以部分应用该功能，然后返回新功能。

scala> def sum(f: Int => Int)(a: Int, b: Int): Int = f(a) + f(b)
sum: (f: Int => Int)(a: Int, b: Int)Int

scala> sum({x: Int => x + 1}) _
res10: (Int, Int) => Int = $$Lambda$1115/108209958@474821de

第二个是未经证实的语法，但即使在这种情况下，我们仍可部分应用该功能。

scala> def sum(f: Int => Int, a: Int, b: Int): Int = f(a) + f(b)
sum: (f: Int => Int, a: Int, b: Int)Int

scala> sum({x: Int => x + 1}, _: Int, _: Int)
res11: (Int, Int) => Int = $$Lambda$1116/1038002783@1a500561

部分应用后再次返回新函数。

  

上述两个声明之间没有区别，它只是语法糖。