第九章 控制抽象

在上一章中学习了函数值的概念，本章将要学习如何将函数值应用到创建新的控制抽象。

简化代码

所有的函数都可以分为通用部分和非通用部分

通用部分是函数体

非通用部分必须由参数提供

我们将这样的函数称为高阶函数，这使得我们有机会去组织和简化代码

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方法将其评估，而这个函数值则会传递给调用函数