如何成为一名函数式程序员（ I）

理解函数式编程概念是最重要，有时也是最难的一步。

**学开车

在第一次学开车的时候，挣扎是难免的。看着别人开起来很简单，但实际上比我们想象的要难一些。在爸妈的车里练习，直到对小区的路都熟悉了才敢开到路上去。在经过反复的练习以及一些恐慌的时刻之后，我们终于学会了开车，拿到了驾照。

拿到驾照之后，我们会抓住所有的机会开车出去。一次一次，越来越娴熟，我们也越来越自信。有一天我们不得不借别人的车出去，或者我们的车彻底坏了，不得不买一辆新的。这时候问题就来了，开一辆新车是怎样的感觉？会和第一次开车的感觉一样吗？

*这两种感觉差老远了

第一次开车的时候，完全是陌生的感觉。虽然在此之前，我们坐过车，但都是以乘客的身份。开车就不一样了，我们是坐在驾驶位子上，控制车里的各种东西。

在开第二辆车的时候，我们只是会问一些简单的问题，比如钥匙去哪了？灯在哪里？你怎么使用转向灯，怎么调侧视镜？

之后就非常顺利了。但是为什么这次就这么简单呢？

这是因为新车和旧车很相像，基本的东西都一样，几乎在同样的位置。

有些东西安装的不一样，可能增添了额外的特性（ feature ），在第一次甚至第二次开的时候都不会用到。最后我们也都了解了这些新特性，至少了解了我们关心的那些。

学习编程语言就有点像学车。第一次最难，但是一旦你学会了一种，之后的就简单了。

当你开始学习第二种语言的时候，你会问一些这样问题，比如“我如何创建一个模块？你怎么搜索数组？ substring 函数的参数是多少？”

在学习新语言的时候，你会变得自信，因为你会想到之前的语言，加了一些新的东西，学起来也容易些。

**你的第一艘宇宙飞船

如果你要驾驶飞船的话，你肯定不会期望曾经开车的能力能够帮到你。你得从零开始。（作为程序员，我们都是从 0 开始计数。）

开始训练的时候，你就已预想到在太空中是完全不一样的，虽然物理空间不变，还是在同一宇宙中，但是驾驶飞船和开车完全是两码事。

这和学习函数式编程是类似的。编程就是在思考，函数式编程会教你如何以不同的方式思考。以至于，你之后再也没法回到以前的思考方式。

**将自己归零

人们很喜欢说这句话，将自己归零，这么说是有些道理的。学习函数式编程就像是从头开始。不完全，但很贴切。如果你是希望一切都从头学起的话，那是最好的。

看问题的角度正确了，才会有正确的预期；预期正确了，才不会在遇到难题的时候轻易放弃。

作为一名程序员，有各种各样的事情，你已成习惯了，但是在函数式编程的时候是没法做的。

就像在车里，你习惯从私人车道倒出来。但是在飞船里，根本就没有倒挡。现在你可能会想，“什么？没倒挡？！没倒挡，我 TM 怎么开？！”

没倒挡就说明在飞船里根本不需要倒挡，因为飞船可以在三维空间里任人操作。一旦你理解了这点之后，你就不会再想着倒挡了。事实上，某一天，你会觉得车这东西真的是限制太多了。

*学习函数式编程需要一段时间，要有耐心。

走出命令式编程的冰冷世界，温柔地沉浸到函数式编程的暖春中。

在开始研究函数语言之前，下面的函数式编程概念对你会有所帮助。如果你已经开始尝试了，下面的编程概念会让你有更全面的理解。

请花点时间向下读，理解一下编码示例。 最重要的就是你要理解它。

**纯洁性

当函数型程序员说起纯度 纯洁性的时候，他们指的是纯函数。纯函数是非常简单的函数，只运行输入的参数。

举一个用 Javascript 写的纯函数例子：

var z = 10; function add(x, y) { return x + y; } 

要注意的是add函数不会触发z变量，不会从z开始读取，也不会写到z，只会读取x和y（输入值），返回加和结果。

这就是纯函数。如果add函数访问到z，那么它就不是纯函数了。

下面是另一个函数：

function justTen() { return 10; } 

如果函数just Ten是纯函数的话，那它只能返回一个常数。为什么？

因为我们还没输入任何东西。如果要变成一个纯函数的话，是没法访问到输入值以外的任何值的，所以唯一能返回的值就是个常数。

没有参数的纯函数无法运行，所以没太大用处。如果just Ten定义为一个常数，那就更好了。

大多数有用的纯函数都必须至少有一个参数。

看看这个函数：

function addNoReturn(x, y) { var z = x + y } 

这个函数不能返回任何值。添加x和y，得出变量z，但是不会返回任何值。

这是个纯函数，因为它只处理输入值。但是输入了也没有返回任何结果，所以这函数是无效的。

所有有效的纯函数都必须返回一些值才行。

我们再看看第一个 add 函数：

function add(x, y) { return x + y; } console.log(add(1, 2)); // prints 3 console.log(add(1, 2)); // still prints 3 console.log(add(1, 2)); // WILL ALWAYS print 3 

我们看到add(1,2)总是返回 3 。这并不奇怪，因为这个函数是纯函数。如果add函数使用外部的值，那么就没法预知结果了。

*同样的输入，纯函数得出的结果都是一样的。

因为纯函数是没法改变任何外部变量的，所以下面这些函数都不是纯函数：

writeFile(fileName); updateDatabaseTable(sqlCmd); sendAjaxRequest(ajaxRequest); openSocket(ipAddress); 

这些函数都有副作用，当你调用的时候，文件和数据表都会改变，数据发送到服务器，或者调用 OS 套接，不仅仅是运行输入值返回输出值。所以永远也没法预判这些函数会返回什么东西。

*纯函数没有副作用。

在命令式编程语言中，比如 Javascript 、 Java 和 C#，副作用无处不在。这使得调试非常困难，因为在项目中一个变量随处都可改变。所以当发现一个 bug ，这 bug 是因为一个变量在错误的时间被改成了错误的数值导致的，怎么找出来？到处找吗？根本不行！

这时候，你可能会在想 “只有个纯函数，我 TM 怎么办？”

在函数式编程中，你不仅仅是写纯函数。

函数式编程无法彻底消除副作用，只能限定。因为各个项目要和真实的世界交互，每一个项目中某一部分必须是非纯函数的。目标是最小化非纯码的数量，将其与其它的项目隔离开。

**不变性

你还记得你第一次看到下面这些代码的时候吗？

var x = 1; x = x + 1; 

是不是每个教你的人都告诫你忘记你在数学课上学的东西？在数学上，x是不可能等于x+1的。

但是在命令式编程中，x+1的意思是将x现在的值加上1，然后将值返回给x。

在函数式编程中，x = x + 1是非法的。所以你必须得记住你忘记的那一点点数学知识。

*函数式编程中不存在变量。

存储的值也叫作变量，但是他们都是常数，比如一旦 x 取了一个值，那它永远就是这个值。

不用担心， x 通常是个局部变量，所以它的生命通常很短暂。但是在生命期中，它的值是无法改变的。

下面是 EIm 中的一个固定变量的例子， EIm 是一种用于网页开发的纯函数式编程语言。

addOneToSum y z = let x = 1 in x + y + z 

如果你对 ML-Style 语法不熟悉的话，我来解释一下，addOneToSum是一个有两个参数（y和z）的函数。

在let模块内，x绑定值为 1 ，也就是它的值等于 1 。在函数退出或者更精确的说是当let模块求值之后，x的生命就结束了。

在in模块，计算包括let模块定义的数值，也就是x。返回x + y + z的计算结果，更精确地说是，因为x = 1，返回1 + y + z这样一个结果。

你肯定会又问“没有变量，我 TM 到底该怎么做？！”

我们来想想什么时候要调整变量。一般有两种情况：多值变化（比如：改变某个对象或记录的一个值）和单值变化（比如：循环计数器）。

函数式编程通过利用数据结构复制值变化后的记录（不用复制全部记录）的方式高效地处理记录中数值的变化。

函数式编程也是通过同样地方式（即复制）解决单值变化。

是的，但是没有循环。

你肯定又抓狂了：“什么？没变量，现在又没循环？！”

冷静，不是不能进行循环，只是没有特定的循环结构，像for, while, do, repeat等。

函数式编程使用递归循环

下面是使用 Javascript 语言写循环的两种方式：

// simple loop construct var acc = 0; for (var i = 1; i <= 10; ++i) acc += i; console.log(acc); // prints 55 // without loop construct or variables (recursion) function sumRange(start, end, acc) { if (start > end) return acc; return sumRange(start + 1, end, acc + start) } console.log(sumRange(1, 10, 0)); // prints 55 

我们看看递归（一种函数方法）是怎样通过自我调用一个 new 开始(start + 1) 和一个 new 累加器(acc + start)实现和 for 循环一样的结果的。递归不需要改变原先的值，而是使用旧值算出的新值。

不幸的是，即使你花了一点时间学习，在 Javascript 中也很难看到这个。有两个原因：一是 Javascript 语法比较杂乱；二是你可能不习惯用递归的方式思考。

在 EIm 中，读取更容易，理解也相应的更容易：

sumRange start end acc = if start > end then acc else sumRange (start + 1) end (acc + start) 

下面是运行过程：

sumRange 1 10 0 = -- sumRange (1 + 1) 10 (0 + 1) sumRange 2 10 1 = -- sumRange (2 + 1) 10 (1 + 2) sumRange 3 10 3 = -- sumRange (3 + 1) 10 (3 + 3) sumRange 4 10 6 = -- sumRange (4 + 1) 10 (6 + 4) sumRange 5 10 10 = -- sumRange (5 + 1) 10 (10 + 5) sumRange 6 10 15 = -- sumRange (6 + 1) 10 (15 + 6) sumRange 7 10 21 = -- sumRange (7 + 1) 10 (21 + 7) sumRange 8 10 28 = -- sumRange (8 + 1) 10 (28 + 8) sumRange 9 10 36 = -- sumRange (9 + 1) 10 (36 + 9) sumRange 10 10 45 = -- sumRange (10 + 1) 10 (45 + 10) sumRange 11 10 55 = -- 11 > 10 => 55 55 

你可能会觉得 for 循环更容易理解。然而，这是有争议的，更可能是熟悉度的问题，非递归循环需要可变性，可变性这就糟糕了。

这里我没有完全解释不变性的好处，你可以到另一篇文章《为什么程序员需要限定》（ Why Programmers Need Limits ）中的 Global Mutable State 查看一下，会学到更多。

不变性一个明显的好处就是如果你访问了项目中的一个值，你只能读取访问，这意味着其他没有人能改变这个值，即使是你。所以不会发生意外的变性。

另外，如果你的项目是多线程的，那么其它线程没法让你挂掉的。值是不变的，如果另一个线程要改变它，必须从旧的值里创建一个新值。

在 20 世纪 90 年代中期，我为生物危机（ Creature Crunch ）写了个游戏引擎，最大的 bug 来源就是多线程问题。我很希望能够重新了解不变性。但是我更在意是 2x 或 4x 速率 CD-ROM 驱动对游戏性能有啥区别。

不变性创建了更简单安全的代码。

这篇文章来自我的个人知乎专栏， 翻译起来感觉有些难，所以以上不一定准确。有什么地方不对的，麻烦各位大神在评论中指出来，请多多指教！