控制抽象之柯里化（currying）

前面说过scala允许你创建新的“感觉像是原生语言支持”的控制抽象。尽管到目前你已经看到的例子都的确是控制抽象，不过没有人会误以为他们是原生语言支持的。为了搞明白如何让控制抽象感觉更像语言的扩展，你首先需要明白称为柯里化的函数式编程技巧。

下例展示了一个未被柯里化的函数，它实现对两个Int型参数x和y做加法：

def plainOldSum(x:Int,y:Int) = x + y

下面的示例展示了柯里化后的同一个函数：

def curriedSum(x:Int)(y:Int) = x + y

柯里化的函数被应用于多个参数列表，而不仅仅一个，上面这个例子把函数应用于两个列表。看看下面的调用执行结果：

所以，这里我们可以看到，函数的柯里化就是把带一个参数列表的函数转换成带多个参数列表的函数。理论上说，柯里化是把接受多个参数的函数变换成接受一个单一参数（最初函数的第一个参数）的函数，并且返回接受余下的参数而且返回结果的新函数。

我们接着看上面这个柯里化函数的例子，这里发生的事情是当你调用curriedSum时，实际上接连调用了两个传统函数。第一个函数调用带单个的名为x的Int参数，并返回第二个函数的函数值。第二个函数带Int参数y。下面的名为first的函数实质上执行了curriedSum的第一个传统函数调用会做的事情：

在第一个函数上应用1，会产生第二个函数：

在第二个函数上应用2产生结果：

这里first与second函数只是柯里化过程的一个演示。他们并不直接连接在curriedSum函数上。尽管如此，仍然有一个方式获得实际指向curriedSum的“第二个”函数的参考。你可以用偏应用函数表达式，把占位符标注用在curriedSum里，如：

curriedSum(1)_里的下划线是第二个参数列表的占位符（注：当占位符标注用在传统方法上时，如println_，你必须在名称和下划线之间留一个空格。在这个例子里不需要，因为println_是scala里合法的标识符，curriedSum(1)_不是）。结果就是指向一个函数的参考，这个函数在被调用的时候，对它唯一的Int参数加1并返回结果。