Scala學習：Curry化的函數
在第1章，我們說過Scala允許你創建新的“感覺像是原生語言支持”的控制抽象。盡管到目前你已經看到的例子都的確是控制抽象，不過任何人都不會誤以為它們是原生語言支持的。為了搞明白如何讓控制抽象感覺更像語言的擴展，你首先需要明白稱為curry化的函數式編程技巧。
51CTO編輯推薦：Scala編程語言專題
curry化的函數被應用了多個參數列表，而不是僅僅一個。代碼9.2展示了一個規整的，未被curry化的函數，它實現兩個Int型參數，x和y的加法。
- scala> def plainOldSum(x: Int, y: Int) = x + y
- plainOldSum: (Int,Int)Int
- scala> plainOldSum(1, 2)
- res4: Int = 3
代碼 9.2 定義和調用“陳舊的”函數
相對的，代碼9.3展示了curry化后的同一個函數。代之以一個列表的兩個Int參數，你把這個函數應用于兩個列表的各一個參數。
- scala> def curriedSum(x: Int)(y: Int) = x + y
- curriedSum: (Int)(Int)Int
- scala> curriedSum(1)(2)
- res5: Int = 3
代碼 9.3 定義和調用curry化的函數
這里發生的事情是當你調用curriedSum，你實際上背靠背地調用了兩個傳統函數。第一個函數調用帶單個的名為x的Int參數，并返回第二個函數的函數值。第二個函數帶Int參數y。下面的名為first的函數實質上執行了curriedSum的第一個傳統函數調用會做的事情：
- scala> def first(x: Int) = (y: Int) => x + y
- first: (Int)(Int) => Int
在第一個函數上應用1——換句話說，調用第一個函數并傳入1——會產生第二個函數：
- scala> val second = first(1)
- second: (Int) => Int = < function>
在第二個函數上應用2產生結果：
- scala> second(2)
- res6: Int = 3
first和second函數只是curry化過程的一個演示。他們并不直接連接在curriedSum函數上。盡管如此，仍然有一個方式獲得實際指向curriedSum的“第二個”函數的參考。你可以用偏應用函數表達式方式，把占位符標注用在curriedSum里，如：
- scala> val onePlus = curriedSum(1)_
- onePlus: (Int) => Int = < function>
curriedSum(1)_里的下劃線是第二個參數列表的占位符。前一章里，當占位符標注用在傳統方法上時，如println _，你必須在名稱和下劃線之間留一個空格。在這個例子里不需要，因為println_是Scala里合法的標識符，curriedSum(1)_不是。結果就是指向一個函數的參考，這個函數在被調用的時候，對它唯一的Int參數加一并返回結果：
- scala> onePlus(2)
- res7: Int = 3
然后以下是你如何獲得對唯一的Int參數加二函數的方式：
- scala> val twoPlus = curriedSum(2)_
- twoPlus: (Int) => Int = < function>
- scala> twoPlus(2)
- res8: Int = 4
