[译] 2017年你应该了解的函数式编程

摘要：本文属于原创，欢迎转载，转载请保留出处：https://github.com/jasonGeng88/blog

函数式编程已经存在了很长了时间，早在50年代 Lisp 编程语言的介绍中就有提过。如果你有关注近两年里内热门的 Clojure，Scala，Erlang，Haskell，Elixir 等语言的话，其中都有函数式编程的概念。

那么到底什么是函数式编程，为什么每个人都痴迷于它？在这篇文章中，作者将试图回答以上问题，并且激起你对函数式编程的兴趣。

正如我们所说的，早在50年代函数式编程开始之前，Lisp 语言就已经在 IBM 700/7000 系列的科学计算机上运行了。Lisp 引入了很多与我们现在的函数式编程有关的示例与功能，我们甚至可以称 Lisp 是所有函数式编程语言的鼻祖。

这也是函数式编程中最有趣的方面，所有函数式编程语言都是基于相同的 λ演算，这种简单数学基础。

λ演算是图灵完备的，它是一种通用的计算模型，可用于模拟任何一台单带图灵机。它名字中的希腊字母 lambda（λ），被使用在了 lambda 表达式和 lambda 项绑定函数中的变量中。

λ演算是一个极其简单但又十分强大的概念。它的核心主要有两个概念：

让我们来看个小例子，单参数函数 f，将参数递增1。

f = λ x. x+1

假设我们应用函数在数字5上，那么函数读取如下：

f(5) => 5 + 1

现在，数学知识已经够了。让我们看一下使函数式编程变得强大的特性有哪些？

在函数式编程中，函数是一等公民，意思是说函数可以赋值给变量，例如在 elixir 中，

double = fn(x) -> x * 2 end

然后我们可以如下来调用函数：

double.(2)

高阶函数的定义是，接收一个或多个函数变量作为参数，然后生成的新函数，即为高阶函数。让我们再次使用函数 double 来说明这个概念：

double = fn(x) -> x * 2 end 
Enum.map(1..10, double)

这例子中，Enum.map 将一个枚举列表作为第一参数，之前定义的函数作为第二参数；然后将这个函数应用到枚举中的每一个元素，结果为：

[2,4,6,8,10,12,14,16,18,20]

在函数式编程语言中，状态是不可变的。这意味着一旦一个变量被绑定了一个值，它将不能再被重新定义。这在防止副作用与条件竞争上有明显的优势，使并发编程更简单。

和上面一样，让我们使用 Elixir 来说明一下这概念：

iex> tuple = {:ok, "hello"}
{:ok, "hello"}
iex> put_elem(tuple, 1, "world")
{:ok, "world"}
iex> tuple
{:ok, "hello"}

这个例子中，tuple 的值从来没有改变过，第三行 put_elem 是返回了一个完全新的 tuple，而没有去修改原有的值。

作为一个程序员，我们生活在激动人心的时代，云端的承诺已经兑现。与此同时，我们每个人都能获取前所未有的计算机资源。不幸的是，随之带来的扩展性、性能、并发性的需求。

面向对象编程根本不能简单的解决这些需求，尤其是在处理并发和并行计算的时候。尝试添加并发性和并行性，只会使语言增加它的复杂性，以及差的性能表现。

函数式编程在另一方面是非常适合这些挑战的，不可变状态、闭包和高阶函数等概念，在对于编写高度并发和分布式应用程序而言，它们非常适合。

你可以通过查看“WhatsApp和Discord”等创业公司的技术资料，找到足够的证明：

这些公司和团队能够处理这种巨大的增长，要感谢函数式编程的优势。随着函数式编程得到越来越多的认同，我坚信像 WhatsApp 和 Discord 的例子会越来越普遍。