Question

在Scala中，可以像这样编写（curried？）函数

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

上述curriedFunc函数定义与两个参数列表和单个参数列表中具有多个参数的函数之间有什么区别：

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

从数学的角度来看，这是(curriedFunc(x))(y)和curriedFunc(x,y)，但我可以写def sum(x) (y) = x + y，同样会def sum2(x, y) = x + y

我只知道一个区别 - 这是部分应用的功能。但这两种方式对我来说都是等价的。

还有其他差异吗？

Answer 1

严格地说，这不是一个curried函数，而是一个带有多个参数列表的方法，尽管它看起来像是一个函数。

正如您所说，多个参数列表允许该方法用于代替部分应用的函数。（对不起我使用的一般愚蠢的例子）

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

另一个好处是你可以使用花括号而不是括号，如果第二个参数列表由单个函数或thunk组成，那么它看起来很好。 E.g。

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
}

或者对于thunk：

IndexedSeq.fill(10) {
  println("debug: operating the random number generator")
  util.Random.nextInt(99)
}

另一个优点是，您可以引用前一个参数列表的参数来定义默认参数值（尽管您也可以说它不能在单个列表中执行此操作：）

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

最后，在相关帖子Why does Scala provide both multiple parameters lists and multiple parameters per list?的答案中还有其他三个应用程序。我会在这里复制它们，但是归功于Knut Arne Vedaa，Kevin Wright和临时演员。

首先：你可以拥有多个var args：

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

最后，这是你可以拥有隐式和非隐式args的唯一方法，因为implicit是整个参数列表的修饰符：

def gaga [A](x: A)(implicit mf: Manifest[A]) = ???   // ok
def gaga2[A](x: A, implicit mf: Manifest[A]) = ???   // not possible

Answer 2

0 __的优秀answer：默认参数未涵盖另一个差异。在计算另一个参数列表中的默认值时，可以使用来自一个参数列表的参数，但不能在同一个参数列表中使用。

例如：

def f(x: Int, y: Int = x * 2) = x + y // not valid
def g(x: Int)(y: Int = x * 2) = x + y // valid

Answer 3

这就是重点，是咖喱和无条件的形式是等价的！正如其他人所指出的那样，根据具体情况，一种或另一种形式可以语法更方便使用，这是优先选择另一种形式的唯一理由。

重要的是要理解即使Scala没有用于声明curried函数的特殊语法，你仍然可以构造它们;一旦你能够创建返回函数的函数，这只是一个数学必然性。

为了证明这一点，假设def foo(a)(b)(c) = {...}语法不存在。那么你仍然可以完成同样的事情：def foo(a) = (b) => (c) => {...}。

与Scala中的许多功能一样，这只是一种语法上的便利，无论如何都可以做一些事情，但稍微有点冗长。

Answer 4

这两种形式是同构的。主要区别在于curried函数更容易部分应用，而非curried函数的语法略好，至少在Scala中。

Scala中每个列表的多个参数列表和多个参数之间有什么区别？

4 个答案: