目的（=> A）=>

Question

O私はgithubの上thisコードで奇妙なタイプを発見：

final class StaticRouteB[Page, O](private val f: (=> Action[Page]) => O) extends AnyVal { 
    def ~>(a: => Action[Page]): O = f(a) 
    } 

1. fのタイプ。どういう意味ですか ？私の推測では、それは名前引数による呼び出しを持つ関数であるということです。以前は見たことがないので、それが何であるか、あるいはこのことがどのように機能するかはわかりません。

2. このタイプをさらに「標準」に変換する方法はありますか？ （それは(=> Action[Page]) => O)タイプを使用しないように、私は、意味上のコードは？このタイプはいくつかの構文糖ですか？）

3. 私はStaticRouteBを作成するときに、私はfとしてAction[Page] => Oを渡すとどうなるか、特にだろうか？コンパイルエラーが発生しますか？ランタイムエラー ？どうして ？つまり、(=> ...)の目的は何ですか？正しい種類の関数が渡されない場合や、fのパラメータの評価方針を変更する場合は、コンパイルエラーを出すのですか？なぜ誰かがこのようなタイプをしたいのですか？どのような目的のために？

Answer 1

(=> Action[Page]) "コール名によって" パラメータです。

のでf: (=> Action[Page]) => Oはタイプアクションのnameパラメータで呼び出し[ページ]との関数であり、この関数はタイプO.

の結果を返しますあなたは方法~>定義でその使用状況を見ることができます。