厳密に言えば、これはカリー化された関数ではなく、確かに関数のように見えますが、複数の引数リストを持つメソッドです。
あなたが言ったように、複数の引数リストは、部分的に適用された関数の代わりにメソッドを使用することを可能にします。(私が使用する一般的にばかげた例については申し訳ありません)
object NonCurr {
def tabulate[A](n: Int, fun: Int => A) = IndexedSeq.tabulate(n)(fun)
}
NonCurr.tabulate[Double](10, _)
val x = IndexedSeq.tabulate[Double](10) _
x(math.exp(_))
もう1つの利点は、括弧の代わりに中括弧を使用できることです。これは、2番目の引数リストが単一の関数またはサンクで構成されている場合に見栄えがします。例えば
NonCurr.tabulate(10, { i => val j = util.Random.nextInt(i + 1); i - i % 2 })
対
IndexedSeq.tabulate(10) { i =>
val j = util.Random.nextInt(i + 1)
i - i % 2
}
またはサンクの場合:
IndexedSeq.fill(10) {
println("debug: operating the random number generator")
util.Random.nextInt(99)
}
もう1つの利点は、デフォルトの引数値を定義するために前の引数リストの引数を参照できることです(ただし、単一のリストではそれができないという欠点もあります:)
def doSomething(f: java.io.File)(modDate: Long = f.lastModified) = ???
最後に、関連する投稿への回答には、他に3つのアプリケーションがあります。Scalaが複数のパラメーターリストとリストごとの複数のパラメーターの両方を提供するのはなぜですか?。ここにコピーしますが、クレジットはKnut Arne Vedaa、Kevin Wright、およびextemporeにあります。
まず、複数の変数引数を持つことができます:
def foo(as: Int*)(bs: Int*)(cs: Int*) = as.sum * bs.sum * cs.sum
...これは単一の引数リストでは不可能です。
第二に、それは型推論を助けます:
def foo[T](a: T, b: T)(op: (T,T) => T) = op(a, b)
foo(1, 2){_ + _}
def foo2[T](a: T, b: T, op: (T,T) => T) = op(a, b)
foo2(1, 2, _ + _)
そして最後に、これは、implicit
引数リスト全体の修飾子と同様に、暗黙的および非暗黙的な引数を持つことができる唯一の方法です。
def gaga [A](x: A)(implicit mf: Manifest[A]) = ???
def gaga2[A](x: A, implicit mf: Manifest[A]) = ???