追求“纯”的理由

可缓存性(Cacheable)

首先,纯函数总能够根据输入来做缓存。实现缓存的一种典型方式是 memoize 技术:

  1. var squareNumber = memoize(function(x){ return x*x; });
  2. squareNumber(4);
  3. //=> 16
  4. squareNumber(4); // 从缓存中读取输入值为 4 的结果
  5. //=> 16
  6. squareNumber(5);
  7. //=> 25
  8. squareNumber(5); // 从缓存中读取输入值为 5 的结果
  9. //=> 25

下面的代码是一个简单的实现,尽管它不太健壮。

  1. var memoize = function(f) {
  2. var cache = {};
  3. return function() {
  4. var arg_str = JSON.stringify(arguments);
  5. cache[arg_str] = cache[arg_str] || f.apply(f, arguments);
  6. return cache[arg_str];
  7. };
  8. };

值得注意的一点是,可以通过延迟执行的方式把不纯的函数转换为纯函数:

  1. var pureHttpCall = memoize(function(url, params){
  2. return function() { return $.getJSON(url, params); }
  3. });

这里有趣的地方在于我们并没有真正发送 http 请求——只是返回了一个函数,当调用它的时候才会发请求。这个函数之所以有资格成为纯函数,是因为它总是会根据相同的输入返回相同的输出:给定了 urlparams 之后,它就只会返回同一个发送 http 请求的函数。

我们的 memoize 函数工作起来没有任何问题,虽然它缓存的并不是 http 请求所返回的结果,而是生成的函数。

现在来看这种方式意义不大,不过很快我们就会学习一些技巧来发掘它的用处。重点是我们可以缓存任意一个函数,不管它们看起来多么具有破坏性。

可移植性/自文档化(Portable / Self-Documenting)

纯函数是完全自给自足的,它需要的所有东西都能轻易获得。仔细思考思考这一点…这种自给自足的好处是什么呢?首先,纯函数的依赖很明确,因此更易于观察和理解——没有偷偷摸摸的小动作。

  1. // 不纯的
  2. var signUp = function(attrs) {
  3. var user = saveUser(attrs);
  4. welcomeUser(user);
  5. };
  6. var saveUser = function(attrs) {
  7. var user = Db.save(attrs);
  8. ...
  9. };
  10. var welcomeUser = function(user) {
  11. Email(user, ...);
  12. ...
  13. };
  14. // 纯的
  15. var signUp = function(Db, Email, attrs) {
  16. return function() {
  17. var user = saveUser(Db, attrs);
  18. welcomeUser(Email, user);
  19. };
  20. };
  21. var saveUser = function(Db, attrs) {
  22. ...
  23. };
  24. var welcomeUser = function(Email, user) {
  25. ...
  26. };

这个例子表明,纯函数对于其依赖必须要诚实,这样我们就能知道它的目的。仅从纯函数版本的 signUp 的签名就可以看出,它将要用到 DbEmailattrs,这在最小程度上给了我们足够多的信息。

后面我们会学习如何不通过这种仅仅是延迟执行的方式来让一个函数变纯,不过这里的重点应该很清楚,那就是相比不纯的函数,纯函数能够提供多得多的信息;前者天知道它们暗地里都干了些什么。

其次,通过强迫“注入”依赖,或者把它们当作参数传递,我们的应用也更加灵活;因为数据库或者邮件客户端等等都参数化了(别担心,我们有办法让这种方式不那么单调乏味)。如果要使用另一个 Db,只需把它传给函数就行了。如果想在一个新应用中使用这个可靠的函数,尽管把新的 DbEmail 传递过去就好了,非常简单。

在 JavaScript 的设定中,可移植性可以意味着把函数序列化(serializing)并通过 socket 发送。也可以意味着代码能够在 web workers 中运行。总之,可移植性是一个非常强大的特性。

命令式编程中“典型”的方法和过程都深深地根植于它们所在的环境中,通过状态、依赖和有效作用(available effects)达成;纯函数与此相反,它与环境无关,只要我们愿意,可以在任何地方运行它。

你上一次把某个类方法拷贝到新的应用中是什么时候?我最喜欢的名言之一是 Erlang 语言的作者 Joe Armstrong 说的这句话:“面向对象语言的问题是,它们永远都要随身携带那些隐式的环境。你只需要一个香蕉,但却得到一个拿着香蕉的大猩猩…以及整个丛林”。

可测试性(Testable)

第三点,纯函数让测试更加容易。我们不需要伪造一个“真实的”支付网关,或者每一次测试之前都要配置、之后都要断言状态(assert the state)。只需简单地给函数一个输入,然后断言输出就好了。

事实上,我们发现函数式编程的社区正在开创一些新的测试工具,能够帮助我们自动生成输入并断言输出。这超出了本书范围,但是我强烈推荐你去试试 Quickcheck——一个为函数式环境量身定制的测试工具。

合理性(Reasonable)

很多人相信使用纯函数最大的好处是引用透明性(referential transparency)。如果一段代码可以替换成它执行所得的结果,而且是在不改变整个程序行为的前提下替换的,那么我们就说这段代码是引用透明的。

由于纯函数总是能够根据相同的输入返回相同的输出,所以它们就能够保证总是返回同一个结果,这也就保证了引用透明性。我们来看一个例子。

  1. var Immutable = require('immutable');
  2. var decrementHP = function(player) {
  3. return player.set("hp", player.hp-1);
  4. };
  5. var isSameTeam = function(player1, player2) {
  6. return player1.team === player2.team;
  7. };
  8. var punch = function(player, target) {
  9. if(isSameTeam(player, target)) {
  10. return target;
  11. } else {
  12. return decrementHP(target);
  13. }
  14. };
  15. var jobe = Immutable.Map({name:"Jobe", hp:20, team: "red"});
  16. var michael = Immutable.Map({name:"Michael", hp:20, team: "green"});
  17. punch(jobe, michael);
  18. //=> Immutable.Map({name:"Michael", hp:19, team: "green"})

decrementHPisSameTeampunch 都是纯函数,所以是引用透明的。我们可以使用一种叫做“等式推导”(equational reasoning)的技术来分析代码。所谓“等式推导”就是“一对一”替换,有点像在不考虑程序性执行的怪异行为(quirks of programmatic evaluation)的情况下,手动执行相关代码。我们借助引用透明性来剖析一下这段代码。

首先内联 isSameTeam 函数:

  1. var punch = function(player, target) {
  2. if(player.team === target.team) {
  3. return target;
  4. } else {
  5. return decrementHP(target);
  6. }
  7. };

因为是不可变数据,我们可以直接把 team 替换为实际值:

  1. var punch = function(player, target) {
  2. if("red" === "green") {
  3. return target;
  4. } else {
  5. return decrementHP(target);
  6. }
  7. };

if 语句执行结果为 false,所以可以把整个 if 语句都删掉:

  1. var punch = function(player, target) {
  2. return decrementHP(target);
  3. };

如果再内联 decrementHP,我们会发现这种情况下,punch 变成了一个让 hp 的值减 1 的调用:

  1. var punch = function(player, target) {
  2. return target.set("hp", target.hp-1);
  3. };

总之,等式推导带来的分析代码的能力对重构和理解代码非常重要。事实上,我们重构海鸥程序使用的正是这项技术:利用加和乘的特性。对这些技术的使用将会贯穿本书,真的。

并行代码

最后一点,也是决定性的一点:我们可以并行运行任意纯函数。因为纯函数根本不需要访问共享的内存,而且根据其定义,纯函数也不会因副作用而进入竞争态(race condition)。

并行代码在服务端 js 环境以及使用了 web worker 的浏览器那里是非常容易实现的,因为它们使用了线程(thread)。不过出于对非纯函数复杂度的考虑,当前主流观点还是避免使用这种并行。