Clojure学习笔记(二)——函数式编程

定义

“函数式编程”是一种编程范式(programming paradigm),即如何编写程序的方法论。主要思想是把运算过程尽量写成一系列嵌套的函数调用。

举例来说，现在有这样一个数学表达式：

　　(1 + 2) * 3 - 4

传统的过程式编程，可能这样写：

　　var a = 1 + 2;

　　var b = a * 3;

　　var c = b - 4;

函数式编程要求使用函数，我们可以把运算过程定义为不同的函数，然后写成下面这样：

　　var result = subtract(multiply(add(1,2), 3), 4);

特点

1. 函数是“头等公民”(first class)

　　指函数与其他数据类型一样，出于平等地位，可以赋值给其他变量，也可以作为参数，传入另一个函数，或者作为别的函数的返回值。

　　举例来说，下面代码中的print变量就是一个函数，可以作为另一个函数的参数。

　　var print = function(i){ console.log(i);};

　　[1,2,3].forEach(print);

2. 只用“表达式”，不用“statement”

　　“表达式”是一个单纯运算的过程，总有返回值；“语句”是执行某种操作，没有返回值。函数式编程要求，只使用表达式，不使用语句。也就是说，每一步都是单纯的运算，而且都有返回值。

　　原因是函数式编程的开发动机，一开始就是为了处理运算（computation），不考虑系统的读写（I/O）。"语句"属于对系统的读写操作，所以就被排斥在外。

3. 没有“副作用”(side effect)

　　"副作用"，指函数内部与外部互动(如修改全局变量的值)，产生运算以外的其他结果

　　函数式编程强调没有"副作用"，意味着函数要保持独立，所有功能就是返回一个新的值，没有其他行为，尤其是不得修改外部变量的值。

4. 不可变状态

　　函数式编程只是返回新的值，不修改系统变量。因此，不修改变量，也是它的一个重要特点。

　　在其他类型的语言中，变量往往用来保存“状态”。不修改变量，意味着状态不能保存在遍历中。函数式编程使用参数保存状态