函数式编程相关概念 - 笔记2

匿名函数 ( Anonymous function )

1. 匿名函数，是指没有被绑定到标识符的函数。根据字面意思，也可以理解为没有名字的函数。

2. 匿名函数通常：

　　1). 作为参数，被传递给高阶函数。

　　2). 作为高阶函数的返回值。

3. 在函数式编程语言，以及其他拥有头等函数的语言中，匿名函数比较普遍。

4. 在一些编程语言中，匿名函数被关键字 lambda 所标记。所以，匿名函数有也被称为Lambda 表达式 ( Lambda express )。例如，Python 就使用 lambda 进行标记

def h(x):
    return lambda y: x + y

5. 匿名函数是嵌套函数的一种，可以访问外层函数的变量，即其非局部变量。这也意味着，匿名函数需要实现闭包。

6. 匿名函数是一种编程风格。匿名函数从来都不会是解决问题的唯一方式。每一个匿名函数都可以重新定义为有名的函数，并调用该有名函数。

7. 匿名函数除了用于上面提到的高阶函数，闭包之外，也常用于柯里化场景。

高阶函数( Higher-order function )

1. 一个函数被称为高阶函数，需要满足至少一个条件

　　1). 定义一个或多个函数作为自身的参数

　　2). 返回一个函数作为自身的返回值。

2. 上面 python 例子 h(x) 便是一个高阶函数。C 语言的标准函数 qsort 也是高阶函数。

map

1. map 是一个常见的高阶函数，将给定数据集合的每一个元素，传入给定函数中并进行调用，并返回被调用后的数据集合，元素次序不变。常被称为“apply-to-all”，即全部调用。

2. 下面是一个求平方的 map 应用，用 scheme 来实现。

先定义求平方算法

square x = x * x

然后调用 map

>>> map square [1, 2, 3, 4, 5]

产生的结果为 [1, 4, 9, 16, 25]。

在 Java 8 中，引入了 stream.map(func) 来支持 map 功能。代码如下

        List<Integer> numbers = Arrays.asList(1, 2, 3, 4, 5);
        List<Integer> squreList = numbers.stream().map(i -> i*i).collect(Collectors.toList());
    
        System.out.println(numbers);　　　　// output : [1, 2, 3, 4, 5]
        System.out.println(squreList);　　 // output : [1, 4, 9, 16, 25]

柯里化 ( Currying )

1. 柯里化是一种函数转换技术，将一个多参数的函数，转换为一些列只需要单个参数的函数，其中这一系列的函数单参数和之前的多参数一一对应。

function divide(x, y){ 
    return x / y 
}

function divior(d){
    return function(x){ 
        return divide( x, d);
    }
}

var half = divior(2)
var third = divior(3)

half(24)    // return 12
third(24)   // return 8