在第1章，我们说过Scala允许你创建新的“感觉像是原生语言支持”的控制抽象。尽管到目前你已经看到的例子都的确是控制抽象，不过任何人都不会 误以为它们是原生语言支持的。为了搞明白如何让控制抽象感觉更像语言的扩展，你首先需要明白称为curry化的函数式编程技巧。
51CTO编辑推荐：Scala编程语言专题
curry化的函数被应用了多个参数列表，而不是仅仅一个。代码9.2展示了一个规整的，未被curry化的函数，它实现两个Int型参数，x和y的加法。
1 scala> def plainOldSum(x: Int, y: Int) = x + y 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 plainOldSum: (Int,Int)Int 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 scala> plainOldSum(1, 2) 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 res4: Int = 3 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73
代码 9.2 定义和调用“陈旧的”函数
相对的，代码9.3展示了curry化后的同一个函数。代之以一个列表的两个Int参数，你把这个函数应用于两个列表的各一个参数。
1 scala> def curriedSum(x: Int)(y: Int) = x + y 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 curriedSum: (Int)(Int)Int 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 scala> curriedSum(1)(2) 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 res5: Int = 3 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73
代码 9.3 定义和调用curry化的函数
这里发生的事情是当你调用curriedSum，你实际上背靠背地调用了两个传统函数。第一个函数调用带单个的名为x的Int参数，并返回第二个函 数的函数值。第二个函数带Int参数y。下面的名为first的函数实质上执行了curriedSum的第一个传统函数调用会做的事情：
1 scala> def first(x: Int) = (y: Int) => x + y 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 first: (Int)(Int) => Int 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37
在第一个函数上应用1——换句话说，调用第一个函数并传入1——会产生第二个函数：
1 scala> val second = first(1) 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 second: (Int) => Int = < function> 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37
在第二个函数上应用2产生结果：
1 scala> second(2) 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 res6: Int = 3 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37
first和second函数只是curry化过程的一个演示。他们并不直接连接在curriedSum函数上。尽管如此，仍然有一个方式获得实际 指向curriedSum的“第二个”函数的参考。你可以用偏应用函数表达式方式，把占位符标注用在curriedSum里，如：
1 scala> val onePlus = curriedSum(1)_ 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 onePlus: (Int) => Int = < function> 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37
curriedSum(1)_里的下划线是第二个参数列表的占位符。_前一章里，当占位符标注用在传统方法上时，如println _，你必须在名称和下划线之间留一个空格。在这个例子里不需要，因为println_是Scala里合法的标识符，curriedSum(1)_不是。_结果就是指向一个函数的参考，这个函数在被调用的时候，对它唯一的Int参数加一并返回结果：
1 scala> onePlus(2) 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 res7: Int = 3 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37
然后以下是你如何获得对唯一的Int参数加二函数的方式：
1 scala> val twoPlus = curriedSum(2)_ 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 twoPlus: (Int) => Int = < function> 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 scala> twoPlus(2) 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 res8: Int = 4