第888期成为一名函数式码农系列之六
Posted 前端早读课
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了第888期成为一名函数式码农系列之六相关的知识,希望对你有一定的参考价值。
前言
本篇是该系列终结篇,在看第六篇之前,可以回顾下之前的五篇。
本文由前端早读课专栏作者 @ 野草翻译。
正文从这开始~
下一步
你已经学了函数式编程相关的所有新知识,你可能开始困惑:“然后呢?我如何才能在我的工作中实践起来?”
这得具体问题具体分析。如果你工作中用的是像Elm或者Haskell这类纯函数语言,那这些知识很容易就能运用起来。
如果你只能用某种命令式语言(这种情况很常见),比如javascript,你还是能运用大部分我们之前提到的知识点,不过会有很多的限制。
函数式JavaScript
JavaScript拥有很多类函数式的特性。JavaScript没有纯性,但是我们可以设法得到一些不变量和纯函数,甚至可以借助一些库。
但这并不是理想的解决方法。如果你不得不使用纯特性,为何不直接考虑函数式语言?
不变性(Immutability)
首先要考虑的点就是不变性。ES6新增了一个关键词const,它意味着一旦被赋值,就不能重新设置:
const a = 1;
a = 2; // 抛出类型错误的异常
此处a定义为常量,也就是说一旦被设定就不能再修改了,这就是为什么a = 2会抛出异常错误(除了Safari 外)。
const的缺陷在于它不够严格,我们来看个例子:
const a = {
x: 1,
y: 2
};
a.x = 2; // 没有异常!
a = {}; // 抛出异常:类型错误
注意到a.x = 2并没有抛出异常。用const关键词限制的只有变量a本身,a所指向的对象是可变的。
这很槽糕。本来以为有了const,JavaScript会更加完善。
那么问题来了,如何才能在JavaScript中得到不变性。
不幸的是,只有Immutable.js库能做到。虽然它能保证更好的不可变形,但悲剧的是,它以更像Java的方式写我们的JavaScript。
柯里化与整合(curring and composition)
之前我们已经学会如何将函数柯里化,举一个复杂的例子再回顾一下:
const f = a => b => c => d => a + b + c + d
我们得手写上述柯里化的过程。然后用如下的方式调用:
console.log(f(1)(2)(3)(4)); // 打印出 10
括号之多,连写Lisp的程序员都要hold 不住了。
简化上述过程的库很多,我最喜欢用的库是Ramda。
我们用Ramda去改写上面的例子:
const f = R.curry((a, b, c, d) => a + b + c + d);
console.log(f(1, 2, 3, 4)); // 打印出 10
console.log(f(1, 2)(3, 4)); // 打印出 10
console.log(f(1)(2)(3, 4)); // 打印出 10
函数定义的方法并没有改进多少,但在调用的时候可以避免写那么多括号了。调用f的时候,你想任意指定参数的个数。
我们重写一下之前的mult5AfterAdd10 函数:
const add = R.curry((x, y) => x + y);
const mult5 = value => value * 5;
const mult5AfterAdd10 = R.compose(mult5, add(10));
事实上Ramda提供了很多辅助函数来做些简单常见的运算,比如R.add以及R.multiply。以上代码我们还可以简化:
const mult5AfterAdd10 = R.compose(R.multiply(5), R.add(10));
Map,Filter和Reduce
Ramda也有对应的mao,Filter以及reduce函数。在原生JavaScript中,这几个函数是在Array.prototype对象中的,而在Ramda中它们是柯里化的:
const isOdd = R.flip(R.modulo)(2);
const onlyOdd = R.filter(isOdd);
const isEven = R.complement(isOdd);
const onlyEven = R.filter(isEven);
const numbers = [1, 2, 3, 4, 5, 6, 7, 8];
console.log(onlyEven(numbers)); // 打印出 [2, 4, 6, 8]
console.log(onlyOdd(numbers)); // 打印出 [1, 3, 5, 7]
R.modulo接受2个参数,被除数和除数。
isOdd函数表示一个数除2的余数。若余数为0,则返回false,即不是奇数;若余数为1,则返回true,是奇数。用R.filp置换一下R.modulo函数两个参数顺序,使得2作为除数。
isEven函数是isOdd函数的补集。
onlyOdd函数是由isOdd函数进行断言的过滤函数。当它传入最后一个参数,一个数组,它就会被执行。
同理,onlyEven函数是由isEven函数进行断言的过滤函数。
当我们给函数onlyEven和onlyOdd传入numbers,isEven和isOdd获得了最后的参数,然后执行最终返回我们期望的数字。
JavaScript 缺陷
借用了库和语言增强工具,JavaScript已经能做那么多事情了,但它仍然有个致命的缺陷——它是命令式语言,却想什么都做。
绝大多数的前端开发不得不使用JavaScript,因为它是浏览器唯一接受的语言。不过,也有很多开发者绕过了这个坑——他们用另一种语言编写,然后编译成JavaScript。
CoffeeScript是这类语言中最早的一批。目前,TypeScript已经被Angular2采用。Babel可以将这类语言编译成JavaScript。
越来越多的开发者在项目中采用这种方式。
但这些语言本质上还是JavaScript,并未有明显改善。为何我们大胆尝试直接使用一门纯函数语言,然后转译成JavaScript?
Elm
这系列文章,我们已经借用Elm来帮助我们理解函数式编程。
那Elm是什么?怎么用?
Elm是一种能编译成JavaScript的纯函数语言,你可以用Elm脚手架搭建一个Web应用。Elm脚手架,全称为The Elm Architecture,简称TEA,它是Redux的启蒙者。
Elm程序在运行时不会报错。
Elm在一些公司中已经投入了应用,比如NoRedLink。Evan Czapliki大神,Elm的作者,目前在这家公司工作(准确地说,他在Prezi 工作)。
更多信息参见6 Months of Elm in Production,NoRedInk的Richard Feldman关于Elm 的分享。
我要用Elm取代所有JavaScript 吗?
不用,你可以逐步地取代。具体可参考教程How to use Elm at Work。
为什么要学 Elm?
纯函数式编程具有约束和释放双重特性,它约束你的行为(通常是避免了给自己挖坑)同时让你远离bug和槽糕的设计。因为所有的Elm程序都要遵循Elm脚手架的规范。
学习函数式编程能让你成为更好的程序员。本文涉及到的只是函数式编程的冰山一角。你应该去实践一下,感受它的魅力,感受它是如何减少你的代码量以及增加稳定性。
JavaScript最初是在10天内仓促地完成的,然后在过去的20多年里一直在打补丁,直到现在变成了一门有一点点函数式,一些些面向对象,完完全全的命令式编程语言。Elm学习了Haskell社区过去30多年的精华,而Haskell社区也有数十年的数学和计算机工作的沉淀。并且Elm脚手架的设计是Evan在函数响应式编程方面发表的论文结果实现,这几年来一直不断改善优化。(Controlling Time and Space 提到了它的设计理念)
Elm是为前端开发人员而生,旨在简化开发工作。(Let’s Be Mainstream深刻地说明了这一点)
未来展望
我们无法预知未来的趋势,但至少我们可以做有根据的猜测。以下是我的一些拙见:
能转译成JavaScript的这类语言将会有大进展;
存在40多年的函数式编程思想将重新被挖掘出来,用来解决我们目前遇到的复杂问题;
目前的硬件,比如廉价的内存,快速的处理器,使得函数式技术普及成为可能;
CPU不会变快,但是内核的数量会持续增加;
在复杂项目系统中可变性将成为最大要害之一。
我之所以写这系列文章,是因为我相信函数式编程是未来趋势,而且过去几年我学得挺费劲,当然我现在也还在学习中。
我希望我能帮助你们更容易更快地学会这些概念,帮助你们提升技能,然后未来有更好的出路。
即使我预言Elm将会普及的观点是错误的,我敢说函数式编程和Elm语言是未来中的一部分。
我希望你读完这个系列之后,你对这些概念有了清晰的掌握,对自己也更有信心。
关于本文
译者:@野草
原文:https://medium.com/@cscalfani/so-you-want-to-be-a-functional-programmer-part-6-db502830403#.8wyxyf55g
以上是关于第888期成为一名函数式码农系列之六的主要内容,如果未能解决你的问题,请参考以下文章