2017 年你应该学习一下下函数式编程

简评：真的应该在 2017 年学习一下下函数式编程，反正我已经开始学了，不过不是原作者墙裂推荐的 Elixir

从 50 年代的 Lisp 开始，函数式编程已经存在很长时间了，在过去的两年里面，如果你持续关注的话，像 Clojure、Scala、Erlang 和 Elixir 都有些许新闻，并且都获得了不小的关注度。

蛋，究竟什么是函数式编程，为啥每个人都为之疯狂（这是原作者的言论，没有先问是不是），却又为啥没有太多的人使用，在这篇文章里面，我将尝试回答这些问题。

函数式编程简史

我们上面提到，函数式编程的历史是从 50 年代 Lisp 的创建开始的，Lisp 采用的很多范式和特征让我们可以联想到现代的函数式编程，所以我们把 Lisp 叫做函数式编程的祖父，而所有函数式编程语言都是基于相同的简单的数学基础 —— Lambda 演算，这也是函数式编程中最有趣的一个方面。

Lambda 演算是图灵完备的，这也就是说，它是一种可用于模拟任何单带图灵机的通用的计算模型，它的同名，希腊字母 λ ，用于 Lambda 表达式和表示在函数中绑定变量的 Lambda 项。 —— 译自维基百科

Lambda 演算是一个简单而强大的概念，其核心有两个：

• 函数抽象：通过引入变量来一般化表达式
• 函数应用：通过给特定值给出名称来评估一般表达式

函数式编程基础

足够的数学知识

函数式编程特征：函数

在函数式编程语言中，函数是一等公民，这意味着可以把函数赋值给变量。

函数式编程特征：高阶函数

高阶函数的定义是将一个或多个函数作为参数或者返回新函数的函数。

函数式编程特征：不可变状态

在函数式编程语言中，状态是不可变的，这意味着变量一旦绑定了值，就不能再绑定其他值了。这将让语言具有防止副作用和竞态条件的优点，从而使并发编程更简单。

函数式编程的应用

在这个激动人心的时代，每个人都可以获得前所未有的计算能力，但不幸的是，伴随而来的还有可扩展性、高性能、并发性的需求。

面向对象编程不能简单地解决这个问题，尤其是涉及到并发和并行。而尝试给面向对象语言添加并行和并发支持，会会使这个语言更加的复杂，并且往往会导致过度的工程量和性能问题。另一方面，函数式编程非常适合这些场景，不可变状态、闭包、高阶函数这些概念很适合编写高并发和分布式应用。

当然，不要轻信我的一家之言，你可以从 WhatsApp 和 Discord 这样的创业公司的技术资料中找到足够多的证明：

• WhatsApp 使用 Erlang 以仅仅 50 人的工程师团队支撑 9 亿用户
• Discord 使用 Elixir 每分钟处理超过一百万个请求

由于函数式编程的优势，这些公司和团队能够处理这种巨大的增长，并且获得越来越多的牵引力，我坚信像 WhatsApp 和 Discord 这样的故事会越来越普遍。因此每一个软件开发工程师的 toolbox 都需要函数式编程，需要为构建下一代十亿用户的应用做准备，如果你不相信我说的话（函数式编程很有趣），只需去看看 Elixir：

• Elixir 简介
• 乐学 Elixir
• 4 Reasons We’re Having Fun Programming Elixir

原文：You Should Learn Functional Programming in 2017
欢迎关注知乎专栏「极光日报」，每天为 Makers 导读三篇优质英文文章。

扩展阅读：

• Java 将不再作为编程入门课程的教学语言
• 370 门免费编程与计算机科学在线课程