Sth about 函数式编程（Functional Programming）

今天开会提到了函数式编程，针对不同类型的百年城方式，查阅了一部分资料，展示如下：

编程语言一直到近代，从汇编到C到Java，都是站在计算机的角度，考虑CPU的运行模式和运行效率，以求通过设计一个高效的编程语言，作为人与计算机之间沟通的桥梁。因为计算机本质上是串行执行一个个指令流，因此编程语言也被设计为命令式编程（Imperative Programming），先算什么再算什么，怎么输入怎么计算怎么输出，全部由编程人员决定。

后来，大家发现冯·诺伊曼结构将数据和指令平等化的思想能够帮助我们更好地对程序段进行划分，实现模块化，因而慢慢地出现了面向对象编程（Object-Oriented Programming），将数据和指令作为一个个小的整体来处理，再通过继承、多态、封装等特性，极大地降低了大型程序的数据耦合度。

然后就到了现在，随着各界精英的不懈努力，摩尔定律顽强地维持了数十年，如今终于疲惫不堪了。因此，计算机开始朝集群化发展，涌现出了大数据、云计算、异构并行等诸多全新的领域。底层体系结构的变革也势必需要上层编程语言进行新的探索，Lisp语言，这个数学系出生年过半百的老者，又一次重获新生，被大家所关注。但事实上，即使在现在看来，我们的计算能力也没有奢侈到能够在完全不顾及计算机系统运行方式的前提下使用完整的Lisp语言，性能依然是我们需要考虑的一个重要指标，因此，一直在计算机界的角落里默默成长的大批函数式编程语言（Functional Programming）开始展露头角。

命令式编程、面向对象编程、函数式编程，虽然受人追捧的时间点各不相同，但是本质上并没有优劣之分。或者说，它们各自都有各自的优缺点，都有各自适合的领域。比如，命令式语言更适合批处理脚本的编写，面向对象语言更适合GUI界面的处理，函数式语言则更适合大量数据的并行处理，等等。

（摘自“面向对象编程 VS 函数式编程，地址如下：http://blog.swanspace.org/oo_vs_fp/”）

• 函数式编程的三大特性：
  • immutable data 不可变数据：像Clojure一样，默认上变量是不可变的，如果你要改变变量，你需要把变量copy出去修改。这样一来，可以让你的程序少很多Bug。因为，程序中的状态不好维护，在并发的时候更不好维护。（你可以试想一下如果你的程序有个复杂的状态，当以后别人改你代码的时候，是很容易出bug的，在并行中这样的问题就更多了）
  • first class functions：这个技术可以让你的函数就像变量一样来使用。也就是说，你的函数可以像变量一样被创建，修改，并当成变量一样传递，返回或是在函数中嵌套函数。这个有点像Javascript的Prototype（参看Javascript的面向对象编程）
  • 尾递归优化：我们知道递归的害处，那就是如果递归很深的话，stack受不了，并会导致性能大幅度下降。所以，我们使用尾递归优化技术——每次递归时都会重用stack，这样一来能够提升性能，当然，这需要语言或编译器的支持。Python就不支持。

• 函数式编程的几个技术
  • map & reduce ：这个技术不用多说了，函数式编程最常见的技术就是对一个集合做Map和Reduce操作。这比起过程式的语言来说，在代码上要更容易阅读。（传统过程式的语言需要使用for/while循环，然后在各种变量中把数据倒过来倒过去的）这个很像C++中的STL中的foreach，find_if，count_if之流的函数的玩法。
  • pipeline：这个技术的意思是，把函数实例成一个一个的action，然后，把一组action放到一个数组或是列表中，然后把数据传给这个action list，数据就像一个pipeline一样顺序地被各个函数所操作，最终得到我们想要的结果。
  • recursing 递归 ：递归最大的好处就简化代码，他可以把一个复杂的问题用很简单的代码描述出来。注意：递归的精髓是描述问题，而这正是函数式编程的精髓。
  • currying：把一个函数的多个参数分解成多个函数， 然后把函数多层封装起来，每层函数都返回一个函数去接收下一个参数这样，可以简化函数的多个参数。在C++中，这个很像STL中的bind_1st或是bind2nd。
  • higher order function 高阶函数：所谓高阶函数就是函数当参数，把传入的函数做一个封装，然后返回这个封装函数。现象上就是函数传进传出，就像面向对象对象满天飞一样。
• 还有函数式的一些好处
  • parallelization 并行：所谓并行的意思就是在并行环境下，各个线程之间不需要同步或互斥。
  • lazy evaluation 惰性求值：这个需要编译器的支持。表达式不在它被绑定到变量之后就立即求值，而是在该值被取用的时候求值，也就是说，语句如x:=expression; (把一个表达式的结果赋值给一个变量)明显的调用这个表达式被计算并把结果放置到 x 中，但是先不管实际在 x 中的是什么，直到通过后面的表达式中到 x 的引用而有了对它的值的需求的时候，而后面表达式自身的求值也可以被延迟，最终为了生成让外界看到的某个符号而计算这个快速增长的依赖树。
  • determinism 确定性：所谓确定性的意思就是像数学那样 f(x) = y ，这个函数无论在什么场景下，都会得到同样的结果，这个我们称之为函数的确定性。而不是像程序中的很多函数那样，同一个参数，却会在不同的场景下计算出不同的结果。所谓不同的场景的意思就是我们的函数会根据一些运行中的状态信息的不同而发生变化。

（摘自“函数式编程”，地址如下：http://coolshell.cn/articles/10822.html，原文还有对很多例子的描述）

PS：原来宋公的λ演算好有用，可惜听不懂。。。