85

Scala では、このような (カリー化された?) 関数を書くことができます

def curriedFunc(arg1: Int) (arg2: String) = { ... }

curriedFunc上記の2 つのパラメーター リストを持つ関数定義と、1 つのパラメーター リストに複数のパラメーターを持つ関数の違いは何ですか。

def curriedFunc(arg1: Int, arg2: String) = { ... }

数学的な観点からは、これは(curriedFunc(x))(y)ありますcurriedFunc(x,y)が、私は書くことができdef sum(x) (y) = x + y、同じことができますdef sum2(x, y) = x + y

私が知っている違いは 1 つだけです。これは部分的に適用された関数です。しかし、どちらの方法も私にとっては同等です。

他に違いはありますか？

4

4 に答える 4

88

厳密に言えば、これはカリー化された関数ではなく、複数の引数リストを持つメソッドですが、確かに関数のように見えます。

あなたが言ったように、複数の引数リストにより、部分的に適用された関数の代わりにメソッドを使用できます。（私が使用する一般的にばかげた例で申し訳ありません）

object NonCurr {
  def tabulate[A](n: Int, fun: Int => A) = IndexedSeq.tabulate(n)(fun)
}

NonCurr.tabulate[Double](10, _)            // not possible
val x = IndexedSeq.tabulate[Double](10) _  // possible. x is Function1 now
x(math.exp(_))                             // complete the application

もう 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つの利点は、デフォルトの引数値を定義するために以前の引数リストの引数を参照できることです（ただし、単一のリストでそれを行うことができないという欠点とも言えます:)

// again I'm not very creative with the example, so forgive me
def doSomething(f: java.io.File)(modDate: Long = f.lastModified) = ???

最後に、関連する投稿への回答に他の 3 つのアプリケーションがあります。. ここにそれらをコピーするだけですが、功績は Knut Arne Vedaa、Kevin Wright、および extempore にあります。

最初: 複数の var 引数を持つことができます:

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){_ + _}   // compiler can infer the type of the op function

def foo2[T](a: T, b: T, op: (T,T) => T) = op(a, b)
foo2(1, 2, _ + _)  // compiler too stupid, unfortunately

implicitそして最後に、引数リスト全体の修飾子と同様に、暗黙的および非暗黙的な引数を持つことができる唯一の方法は次のとおりです。

def gaga [A](x: A)(implicit mf: Manifest[A]) = ???   // ok
def gaga2[A](x: A, implicit mf: Manifest[A]) = ???   // not possible
于 2011-07-23T23:21:14.203 に答える
42

0__ の優れた回答でカバーされていない別の違いがあります: デフォルトのパラメーターです。あるパラメータ リストのパラメータは、別のパラメータ リストのデフォルトを計算するときに使用できますが、同じリスト内では使用できません。

例えば：

def f(x: Int, y: Int = x * 2) = x + y // not valid
def g(x: Int)(y: Int = x * 2) = x + y // valid
于 2011-07-26T02:57:22.027 に答える
20

カリー化されたフォームとカリー化されていないフォームは同等であるということです。他の人が指摘しているように、状況に応じて、どちらか一方の形式を使用する方が構文的に便利であり、それが一方を他方よりも優先する唯一の理由です。

カリー化された関数を宣言するための特別な構文が Scala になくても、それらを作成できることを理解することが重要です。これは、関数を返す関数を作成できるようになると、数学的に避けられないことです。

これを実証するために、def foo(a)(b)(c) = {...}構文が存在しないと想像してください。その後、次のようにまったく同じことを実現できますdef foo(a) = (b) => (c) => {...}。

Scala の多くの機能と同様に、これはとにかく可能なことを実行するための構文上の利便性にすぎませんが、少し冗長です。

于 2011-07-23T23:18:36.400 に答える
4

2 つの形式は同形です。主な違いは、少なくとも Scala では、カリー化された関数は部分的に適用しやすいのに対し、カリー化されていない関数は構文がわずかに優れていることです。

于 2011-07-23T20:55:54.910 に答える