文中是以 Functional Programming Is Hard,That's Why It's Good 本文汉语翻译而成。

很怪异并不是，非常少有些人每日都应用函数式编程語言。假如你用Scala，Haskell，Erlang，F#或某一Lisp家乡话来程序编写，很可能沒有企业会掏钱聘你。这一领域里的绝大多数人全是应用像Python，Ruby，Java或C#等面向对象编程的计算机语言——他们用起來很随手。非常好，你或许会不经意采用一两个“涵数式語言特点”，比如“block”，但大家不容易去做函数式编程。

殊不知，好多年来，大家一直被教育 说函数式编程語言非常好非常好。我依然还记得当我们第一次阅读文章ESR的知名的关于读书Lisp語言的毕业论文时的疑惑。或许大部分的人对Paul Graham 的《Beating The Averages》本文更为了解：

应用Lisp开发设计使大家的开发进度迭代更新的这般之快，以致于有时候当竞争者在记者招待会上发布她们的新作用一两天后，大家就能拷贝出一样的作用。当报导产品展示的电视记者打电话给大家时，大家的商品早已有着了一样的作用特点。

这些皈依函数式编程的人群中，一直普遍的考虑到是：学习培训这类新的、涵数式的語言“对给你益处”;就好像某些人提议说每日三十分钟的健身会所活动会“给你的身心健康”一样。但这也另外暗示着了那样做的难度系数和必须的努力。Lisp語言跟Haskell、Ocaml和Scala語言不一样，被觉得是众所周知的难懂，能够 说成灭绝人性。温文尔雅的人说它是Lisp語言的“深层&深度广度”的反映。不文雅的人说它是“性幻想”或“蹂躏学术研究”或简易的“没必要”。我觉得，它的难度系数跟你对它熟不了解相关，并且，这类难度系数是一种关键指标值显示信息：学习培训那样的一种語言会给你程序编写更高效率、工作能力更强。

它让你的第一次印像不友好

我七岁时就刚开始程序编写，在悠长无趣的近郊区夏天里，在我爷爷的电子计算机上乱搞一气。我教了BASIC，用它在显示屏上画一个蹦蹦跳跳的球。我教了Pascal，用它写了一个能根据PC音响喇叭放音乐的程序流程。大约十岁时我教了C语言，但碰到了一堵越不以往的墙，直至日了普通高中。那便是：表针。即便算不上这种可恶的表针，我写、读、学习培训、训练中，一样遭受成千上万的不成功。我将爷爷的电脑硬盘给摧毁了2次(一次属出现意外)，最终弄得许多主次自身重新安装电脑操作系统。我不成功，一遍遍的不成功。

或许你也有跟我类似的小故事，或许是彻底不一样的一个。但我觉得，类似全部学过程序编写的人都是有过碰到困难的历经。我们在学了一些基础知识后，必定会碰到一些认可的定义上的大关，例如“表针”。许多电子信息科学专家教授会把表针叙述为她们课程内容上的滤网。假如你要变成一名出色的程序猿，你务必要能了解表针。非常少人会轻轻松松的把握他们。大部分人，包含我，则必须持续的训练和参照事例来了解什么叫表针、为何他们很重要。

这类艰辛的勤奋全过程并不是不经意的，是一种基本上广泛的状况。表针是一种十分强劲和基本作用的定义。学好它能给你变成一名更强的程序猿，能给你的思索更为艺术化。即便你应用的語言并不出示表针那样的特点，但跟表针相近的算法设计和定义却经常可以看到。(北京市网站制作)

奇特事情

一旦你学会了几类語言后，全部的語言都刚开始看上去都很类似。了解Python的人学习培训Ruby很有可能不容易碰到过多的难题，了解Java的人学习培训C#会觉得很了解。非常好，也是有出现意外的地区。Ruby发烧友在学习培训Python的时候会对它的comprehension觉得惊讶，Java客户会对C#里的委任一头雾水。還是这句话，假如你只瞟一眼，他们都很类似。我能打保票的说，假如你要不曾改变那样的了解，一旦你学了一种Lisp語言，你能发觉全部的Lisp变异都很类似。

有些人说，绝大多数人第一次应用Haskell或Ocaml时都彻底的手足无措。撞鬼了，在Haskell里，连分号都跟他人不一样。这并并不是英语的语法的难题;Haskell和ML語言彻底根据一种不一样的定义、一种新的語言现代性。你需要用不一样的方法开发设计运用，不一样的方法机构运用，不一样的方法拓展运用。

许多那样的新理念都具备难以置信的强劲能量。Haskell里的Monads 是跟表针一样基本且强劲的定义(你很可能在不清楚它叫什么名字的状况下就早已应用过他们了)。因此，跟学了Java后再学C#不一样，有理想学习培训涵数式語言的人必须回去走的更长远，去学习更为基本的定义后才可以接下来学习培训。就好像彻底再学习培训一次表针。而且，就好像当初大家一开始学编程一样，一些非常大的定义看上去会令人蒙蔽迷惘，令人消沉，直至你来攻破(及其不成功)他们。

吃下你的药粒，找到你的药师

虽然不太好学，但我坚信，学习培训这种函数式编程語言会在岗位上对给你益处。相信有的人读到这一点的时候会双眼翻起來向天看，难以想像出这种monoids 或 monad 会对她们在应用Java或C#时有用途。因为你，我已经不惊讶于因为那样的逻辑思维而阻拦她们学习培训涵数式語言的状况;她们必须学习培训一种跟表针和递归一样基本的新理念。她们必须有一种仅有技术专业工作人员在进行清楚的商业服务总体目标时才具备的细心和士气。非常少人会在过去了可塑性的年纪后还吃得消挫败——一次又一次的挫败——不然大家如今都早成权威专家了，不是吗?

也有更繁杂的物品，有很多的語言和优化算法科学研究全是用涵数式語言执行的(尤其是Haskell)。你非常容易会被这种不了解的定义——比如生物学基础理论， half-finished abstractions，一些不成功的科学研究——弄的找不到方向。没有一个清楚的具体指导(例如由一个实证主义的创作者写的一本好书)，原本早已很艰难的学习任务变的更为恐怖。

这种累加起來的繁杂要素造成了可以的话的結果：很多人不情愿在函数式编程学习中资金投入時间。非常容易了解这类不情愿，“我干什么不把花在学习培训这种物品的時间用在完成什么上呢?”但这类构思也说明了你始终不愿意在一切新技术应用上虚度光阴(仅用自身了解的)。在一个像软件开发那样飞速发展的产业链里，我不会觉得它是恰当的分辨。

事实胜于雄辩

学习培训一种函数式编程語言最不言而喻的益处是，你可以学好这类种类語言中的涵数式定义。它能协助你的人的大脑，让它具备能十分清楚的思索和解决一些令人震惊的重特大定义的工作能力。这并并不是函数式编程具备法术;各种各样語言和现代性的出現全是为了更好地解决某一特殊类型的难题。函数式编程的秘密武器更是解决了当今社会上日益突出的并行性程序编写和数据库程序编写发展趋势。

比如，大家科学研究一个简单化的、当地版本号化的Google知名的MapReduce案例。用涵数式方法叙述这类案例是难以置信的清楚简约：

1. mapReducer data partitioner mapper reducer =  
2.               let partitions = partitioner data  
3.               in reduce reducer (map mapper partitions) 

让那样的编码适用并行处理或分布式系统并行处理是易如反掌的(针对当地并行处理，许多的作用包都适用“pmap”和“preduce“——只必须运用涵数式語言的一些简易特点)。像maps, partitions, generators, streams, reductions, folds, 已及其 function chaining等定义在各种各样的函数式编程語言上都如出一辙，因此，一切对Lisp，Haskell，OCaml，乃至带点函数式語言特点的語言——Python和Ruby最熟悉的人，都是会非常容易的了解这里边的观念精粹。

使我们花一点时间考虑一下，怎样用一种面向对象编程的語言，以一种普遍的面向对象编程的方式来清晰的叙述这类构架。最少你需要做的事儿是界定用于叙述mapper和reducer的申明。假如给你求知欲，请尝试用你喜爱的面向对象编程語言叙述一个降到最低的“面向对象编程”的MapReduce。我发现了那就是十分啰嗦的。假如应用Java设计风格的語言，它会像那样：

1. interface Mapper {  
2.    B map(A input);  
3.  }  
4.  
5.  interface Reducer {  
6.    Y reduce(X a, X b);  
7.  }  
8.  
9.  abstract class MapReduce {  
10.    private Mapper mapper;  
11.    private Reducer reducer;  
12.  
13.    public MapReduce(Mapper map, Reducer reduce) {  
14.      // ...  
15.    }  
16.  
17.    public run(SeqenceType data) {  
18.      // ...  
19.    }  
20.  } 

即便是沒有添加循环系统逻辑性，这类欠缺涵数式方式中普遍的专有名词和形容词的应用，促使MapReduce这类技术性难以被界定。这类界定方法基本上是 高效的，但它能给你想起涵数式定义。此外一个好例子是Scala語言怎样运用完善的Java Fork/Join 类库，把它轻轻松松的集成化的自己的自有英语的语法中。

都有所愿

因此，我激励一切想发展的程序猿：请考虑到学习培训一种涵数式語言。Haskell和OCaml全是很好的挑选，F#和Erlang也非常的非常好。他们都不太好学，但或许它是个好事儿。勤奋搞清楚你碰到的繁杂的定义，看一下是不是有别人已经运用这种定义;常常的，你能在找寻这种不了解的定义的真实作用的情况下完成思想观念的提升。

如果你刚开始学的情况下，一定要注意，不必过度在乎。如同别的一切想要你花时间和活力的事儿一样，过多的在函数式编程上开展活力上的项目投资是很危险的。掉进了思维能力的圈套后你的项目投资会倾家荡产。你非常容易会忘记全世界也有一万种测算实体模型，你更非常容易忘记有多少种出色的手机软件压根沒有应用一切的涵数式定义。

学习培训的路面会愈来愈难走，但从另一方面说，在你平时的程序编写中，你能发觉有愈来愈多的能够 应用的关键定义和实体模型。针对那样紧凑型的程序编写设计风格你能愈来愈融入，必定，你也会对怎样变成一名更强的前端工程师拥有新的了解。

填补

有许多审校本文的人到看了文章内容后都问了我一个一样的难题：“听起来不错，彼得，但是我该学习培训那类語言呢?”自然，它是她们帮我出的难点。

我觉得，假如你是一个很有工作经验的程序猿，这最能“应对”这个问题的回答是：“选一种合乎你的要求的”。假如你必须在JVM上工作中，挑选Scala或Clojure。假如你要能迅速的开发设计大中型分布式系统系统软件，挑选Erlang。假如你要想一种具备强力c语言编译器的超极干活儿的語言，挑选Haskell或RCaml。假如你要想一种比Ruby或Python更有工作能力的原型工具，挑选Scheme。

请记牢，大家在这儿要做的这种目地是为了更好地具体的专业技能和自身发展。假如你能空出時间学这种，就摆脱你的舒适安逸自然环境，挑战自己。

由于我早已学了Lisp和Erlang，并且应用OCaml做技术专业工作中，我打算科学研究一下Haskell，这彻底是此外一个世界。我发现了唯一能协助我渗透到这类語言的方式是依靠Learn You A Haskell和 Real World Haskell 这二份有效的具体指导原材料。这种撰写的很好，很有使用价值，并且能够 完全免费在网络上寻找。假如你要试一下Haskell，这种书能够 作为你的寻宝图。(高档网站建设)