2016-08-10

[译] JavaScript 与函数式编程

原文作者: Beth Allchurch
原文地址: https://bethallchurch.github.io/JavaScript-and-Functional-Programming/
译文地址: http://www.wemlion.com/post/JavaScript-and-Functional-Programming
本文由 文蔺 翻译,转载请保留此声明。
著作权属于原作者,本译文仅用于学习、研究和交流目的,请勿用于商业目的。

译者注:推荐一篇译文,《函数式编程术语解析》

本文是我在 2016 年 7 月 29 号听 Kyle Simpson 精彩的课程《Functional-Light JavaScript》时所做的笔记(外加个人的深入研究)(幻灯片在这)。

长久以来,面向对象在 JavaScript 编程范式中占据着主导地位。不过,最近人们对函数式编程的兴趣正在增长。函数式编程是一种编程风格,它强调将程序状态变化(即副作用[side effect])的次数减到最小。因此,函数式编程鼓励使用不可变数据(immutable data)和纯函数(pure functions)(“纯”意味着没有副作用的)。它也更倾向于使用声明式的风格,鼓励使用命名良好的函数,这样就能使用在我们视线之外的那些打包好的细节实现,通过描述希望发生什么以进行编码。

尽管面向对象编程与函数式编程之间有些矛盾,它们却并非互斥的关系。JavaScript 所拥有的工具,能支持这两种方式。甚至可以说,就算不把它孤立地当作函数式语言使用,还是有不少来自函数式方法的概念和最佳实践可以帮助我们,让代码更干净,可读性更强,推理起来更简单。

副作用最小化

所谓副作用,指的是函数内部产生了超出函数之外的变化。函数可能会做一些事,如操作 DOM、修改更高层作用域中的变量值,或者将数据写入数据库。这些带来的就是副作用。

副作用并非天生邪恶。不产生任何副作用的程序也无法影响世界,因此也没有任何意义(除非是作为理论兴趣进行研究)。不过,副作用确实是危险的,应当尽量避免使用,除非绝对必要。

当函数产生副作用的时候,仅凭借输入输出的内容,不足以明确函数究竟做了什么工作。必须了解上下文环境、程序状态的历史,这让函数更难理解。在不可预测的交互方式下,副作用可能带来一些 bug,且函数因上述依赖,测试起来也更困难。

副作用最小化是函数式编程中最基础的原则,接下来的多数小节都可以当作是避免副作用的一些办法概要。

视数据为不可变(Immutable)

变动(mutation)指的是值在原位置上的变化(an in-place change to a value)。不可变值意味着,一旦创建出来,永远都不会变化。在 JavaScript 中,简单值如数字、字符串、布尔值这些是不可变的。不过,像对象、数组这样的数据结构都是可变的。

为什么要避免变动数据呢?

变动是一种副作用。程序中变化的东西越少,需要跟踪记录的也就越少,程序也就越简单。

JavaScript 中维持对象、数组等数据结构不可变性的可用工具很有限。通过 可以强制实现对象的不可变,但作用深度只有一层:

不过,还是有一些很棒的工具库解决了这些问题,其中最著名的要数 Immutable 了。

对多数应用来说,使用工具库来保证不可变性有些矫枉过正。很多情况下,简单地将数据当作是不可变的,就能让我们受益良多。

避免变动:数组

JavaScript 数组方法可以被概括为变动方法 (mutator methods) 和非变动方法。应当尽可能避免变动方法。

举例来说, 方法可以用来替代 方法。 改变了原数组; 返回由原数组和作为参数的数组组成的新数组,而原来的数组还是完整的。

还有一些非变动方法,包括 等。

避免变动:对象

可以使用 方法,而非直接编辑对象。该方法将源对象的属性复制到目标对象中,并将目标对象返回。如果总是用一个空对象作为目标对象,就能通过 避免直接编辑对象。

关于

很有用,却不会使数据不可变。它只能防止变量被重新赋值。这不能混为一谈。

书写纯函数

纯函数 不会改变程序的状态,也不会产生可感知的副作用。纯函数的输出,仅仅取决于输入值。无论何时何地被调用,只要输入值相同,返回值也就一样。

纯函数是最小化副作用的重要工具。另外,与上下文无关的特点,也让它们有了高可测试性和可复用性。

前面讲副作用的小节中的代码里, 函数就是非纯函数,注意两次调用时输入相同但每次返回结果却不同。不过,它也能改写成纯函数:

你的程序最终肯定还是会产生一些副作用。当副作用产生的时候,小心应对,尽可能地约束、限制它们的影响。

书写返回函数的函数(Function-Generating Functions)

找一些程经验的人,让他们猜猜下面的代码做了什么:

例 1

例 2

我测试过的所有人在例 2 上运气更好。例 1 展示的是命令式方法,将一列数字打印出来。例 2 展示的是声明式方法。将循环遍历数组、在控制台打印数字这些细节各种包装成 函数,无需知道如何做,就可以表达我们需要程序做什么。这让代码可读性更高。例 2 的最后一行看起来,很接近英语句子。

采用这种方法,涉及到编写大量函数。利用现有函数编写生成新函数的函数,可以让这个过程中的重复(DRY-er)更少。

特别地,JavaScript 的两个特性让这种形式的函数生成变得可能。第一个是闭包。函数能够访问包含作用域中的变量,就算该作用域已不复存在,这就是闭包。第二个特性是,JavaScript 将函数当作值来对待。这使书写高阶函数成为可能,高阶函数可以接收函数作为参数,并/或返回函数。

这些特性组合在一起,我们就可以编写返回函数的函数了。返回的函数能“记住”传给生成函数的参数,并在程序的其他地方使用这些参数。

函数组合

通过函数组合,可能将函数组合在一起形成新的函数。一起来看例子:

你可能会发现一直在重复这种利用更小的函数生成一个更复杂的函数的形式。通常编写一个组合函数会更有效率:

还可以走得更远,编写一个更一般化的组合函数:

组合函数的最终形式取决于你所需的通用性水平,以及偏好的 API 类型。

偏函数(Partial Application)

Partial 函数应用 指定函数参数中的一个或多个,然后返回一个稍后会被完整调用的函数。

在下面的例子中, 都是 函数的 partial 应用。

柯里化

柯里化是将接收多个参数的函数转换为一系列只接收一个参数的函数的过程。

柯里化和 partial 应用在概念上很相似(可能不会两个都需要使用),但仍然有所不同。主要区别在于,柯里化总是生成函数套链,每次只接收一个参数,而 partial 应用返回的函数可以一次接收多个参数。 比较它们作用于最少接收三个参数的函数时,这种差别就更明晰了:

递归

递归函数是这样一种函数,它会一直调用自身,直至满足基本条件。递归函数是高度声明式的。它们也很优雅,写起来很爽!

下面是计算递归计算阶乘的例子:

在 JavaScript 中使用递归函数需要细心一些。每次函数调用都会向调用栈(call stack)中加入新的调用帧(call frame),当函数返回的时候,该调用帧从调用栈中弹出。递归函数调用在返回之前调用自身,所以很容易就会超出调用栈的限制,导致程序崩溃。

不过,这可以通过尾调用优化来避免。

尾调用优化

尾调用指的是,某个函数的最后一步动作是调用函数。尾调用优化指的是,当语言编译器识别到尾调用的时候,会对其复用相同的调用帧。这意味着,在编写尾调用的递归函数时,调用帧的限制永远不会被超出,因为调用帧会被反复使用。

下面是将前面的递归函数采用尾递归优化重写之后的例子:

ES2015 语言规范中已包含了适当的尾部调用的支持,但目前在大部分环境中尚未得到支持。可以在这里查看你能否使用。

小结

函数式编程容纳了许多思想,借助它们可以优化代码。纯函数和不可变数据将副作用的危害最小化,声明式编程让代码可读性大大提高。在与复杂性的斗争中,这些是我们应当拥抱的重要工具。

资源

概述性

副作用

不可变性

纯函数

函数生成

递归