この種の関数宣言を理解するには： `=> .. => .. => ..``？

Question

は、私がどこかでこのScalaの関数宣言を参照してください。=> ... => ... => ...は、どのようにそれを理解する：

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

が、私はこのような機能を見たことがありませんか？

Answer 1

String => Result[AnyContent] => ResultデューキュアからFunction1[String, Function1[Result[AnyContent], Result]]です。それを=> String => (Result[AnyContent] => Result])として読むと便利です。つまり、=> Stringを取る関数は、関数Result[AnyContent] => Result（カルト関数とも呼ばれます）を返します。

=> Aは、タイプAの名前パラメータです。したがって、=> String => Result[AnyContent] => Resultは、testが型名String => Result[AnyContent] => Resultの引数を取ることを示します。 by-nameパラメータの詳細についてはhereをご覧ください。

Answer 2

関数は通常のデータ型です。関数は関数を返すことができます。

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

は

ストリング=>（結果[AnyContent] =>結果）と同じで

これはResult[AnyContent]からResultに機能を戻すStringからわずか関数です。

f: =>は、上記の答えでJoshによって説明された名前パラメータです。