在上一章中學習了函數值的概念，本章將要學習如何將函數值應用到創建新的控制抽象。
-
簡化代碼
- 所有的函數都可以分為通用部分和非通用部分
- 通用部分是函數體
- 非通用部分必須由參數提供
- 我們將這樣的函數稱為高階函數，這使得我們有機會去組織和簡化代碼
~~~
def containsNeg(nums: List[Int]):Boolean = {
var exists = false;
for(num <- nums)
if(num < 0)
exists = ture;
exists;
}
~~~
~~~
如果我們在這里使用高階函數exists：
~~~
~~~
def containsNeg(nums: List[Int]):Boolean = nums.exists(_ < 0);
~~~
~~~
就是如此的簡潔！
~~~
-
柯里化
-
柯里化的函數被應用于多個參數列表，而不僅僅一個
~~~
def curriendSum(x: Int, y: Int) = {
x + y;
}
~~~
可以寫作：
~~~
def curriendSum(x: Int)(y: Int) = {
x + y;
}
~~~
還可以寫作：
~~~
def curriendSum(x: Int) = {
（y: Int） => x + y;
}
~~~
-
編寫新的控制抽象
- 對于多個參數，先做柯里化
- 在傳入一個參數時，可以用花括號代替小括號達到更像控制抽象的效果
~~~
def twice(x: Double, op: Double => Double) = op(op(x));
~~~
~~~
改寫：
~~~
~~~
def twice(x: Double)(op: Double => Double) = op(op(x));
~~~
~~~
調用
~~~
~~~
twice(5) {
_ + 1;
}
~~~
~~~
這樣看起來就更加像是內建的控制抽象了。
~~~
-
傳名參數
- 要實現傳名參數，要定義參數的類型開始與 => 而不是 ()=>
- 需要將 ()=> 轉換成 =>
- 括號內的表達式不會先于調用函數被評估，而是創建一個函數值，其apply方法將其評估，而這個函數值則會傳遞給調用函數
