11-scala多参数列表（柯里化）

方法可以定义多个参数列表，当使用较少的参数列表调用多参数列表的方法时，会产生一个新的函数，该函数接收剩余的参数列表作为其参数。这被称为柯里化。

下面是一个例子，在Scala集合 trait TraversableOnce 定义了 foldLeft

def foldLeft[B](z: B)(op: (B, A) => B): B

foldLeft从左到右，以此将一个二元运算op应用到初始值z和该迭代器（traversable)的所有元素上。以下是该函数的一个用例：

从初值0开始, 这里 foldLeft 将函数 (m, n) => m + n 依次应用到列表中的每一个元素和之前累积的值上。

val numbers = List(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
val res = numbers.foldLeft(0)((m, n) => m + n)
print(res) // 55

多参数列表有更复杂的调用语法，因此应该谨慎使用，建议的使用场景包括：

单一的函数参数

在某些情况下存在单一的函数参数时，例如上述例子foldLeft中的op，多参数列表可以使得传递匿名函数作为参数的语法更为简洁。如果不使用多参数列表，代码可能像这样：

numbers.foldLeft(0, {(m: Int, n: Int) => m + n})

注意使用多参数列表时，我们还可以利用Scala的类型推断来让代码更加简洁（如下所示），而如果没有多参数列表，这是不可能的。

numbers.foldLeft(0)(_ + _)

像上述语句这样，我们可以给定多参数列表的一部分参数列表（如上述的z）来形成一个新的函数（partially applied function），达到复用的目的，如下所示：

val numbers = List(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
val numberFunc = numbers.foldLeft(List[Int]())_

val squares = numberFunc((xs, x) => xs:+ x*x)
print(squares.toString()) // List(1, 4, 9, 16, 25, 36, 49, 64, 81, 100)

val cubes = numberFunc((xs, x) => xs:+ x*x*x)
print(cubes.toString())  // List(1, 8, 27, 64, 125, 216, 343, 512, 729, 1000)

最后，foldLeft 和 foldRight 可以按以下任意一种形式使用，

val numbers = List(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)

numbers.foldLeft(0)((sum, item) => sum + item) // Generic Form
numbers.foldRight(0)((sum, item) => sum + item) // Generic Form

numbers.foldLeft(0)(_+_) // Curried Form
numbers.foldRight(0)(_+_) // Curried Form

隐式（implicit）参数

如果要指定参数列表中的某些参数为隐式（implicit），应该使用多参数列表。例如：

def execute(arg: Int)(implicit ec: ExecutionContext) = ???

示例：

1. 显式柯里化

你可以在函数定义时直接使用柯里化：

def add(x: Int)(y: Int): Int = x + y 
// 使用
val addFive = add(5) _ 
// 注意使用下划线部分应用函数
val result = addFive(10) // 结果是15

2. 隐式柯里化

Scala允许你在函数定义时省略括号，从而隐式地实现柯里化：

def add(x: Int, y: Int): Int = x + y 
// 使用（隐式柯里化）
val addFive = add(5, _: Int) 
// 使用占位符语法部分应用第一个参数
val result = addFive(10) // 结果是15

3. 使用函数式编程库

Scala的标准库提供了FunctionN系列（如Function1, Function2等），可以用来更明确地表示柯里化：

val add: Function2[Int, Int, Int] = (x: Int, y: Int) => x + y 
// 使用
val addFive = add(_: Int, 5) 
// 部分应用第二个参数
val result = addFive(10) // 结果是15