如何理解這種函數聲明：`=> .. => .. => ..`？

Question

我看到這個斯卡拉函數聲明中的某處：

def test(f: => String => Result[AnyContent] => Result) = ... 

我從來沒有見過這樣的功能：=> ... => ... => ...，怎麼理解呢？

Answer 1

String => Result[AnyContent] => Result desugars到Function1[String, Function1[Result[AnyContent], Result]]。閱讀它會有所幫助：=> String => (Result[AnyContent] => Result])。也就是說，需要=> String的函數返回函數Result[AnyContent] => Result（也稱爲curried函數）。

=> A是類型A的名稱參數。因此=> String => Result[AnyContent] => Result表示test採用了名稱爲String => Result[AnyContent] => Result的參數。瞭解更多關於名字參數here。

Answer 2

請記住，函數是一種正常的數據類型。函數可以返回函數。

f: => String => Result[AnyContent] => Result 

相同

字符串=>（結果[AnyContent] =>結果）

這僅僅是一個從String返回一個函數從Result[AnyContent]到Result功能。

f: =>是由喬希在上面的答案中解釋的名稱參數。