高級函數

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

第一個被稱爲咖喱語法。

您可以部分應用該功能，然後返回一個新功能。

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 

第二個是uncurried語法，但即使在這種情況下，我們仍然可以部分地應用該函數。

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 

再次部分應用時返回新函數。

上面兩個聲明沒有區別，它只是語法糖。