什么是函数式编程

形而上的思维：

1、数据不可变的思维：let a = 100，意义不是把100赋值给变量a，而是把a符号绑定(或者叫匹配)到100。

2、一切皆表达式思维：if b then 100 else 10，这不是条件跳转，而是一个三元表达式。

3、函数是第一类值：函数可以作为参数传输，也可以作为结果返回，更可以由一个函数演化成另一个函数。

形而下的思维：

1、用递归替换循环。

2、难以尾递归的时候考虑使用延续函数(continuation)。

3、高阶函数、部分应用、Lambda演算。

4、用泛型、接口、可区别联合类型替换类继承。

5、用二叉树替换普通链表后可以支持高并发计算。

===================================================

这些也只是feature而不是思维。我想知道的是这些feature之后的逻辑。

-----------------------------------------------------------------------------------------------------

再往上说就不接地气了，先从函数式语言说起，函数式语言其实就是模仿人的数学思维而发明的朴素，后来因为离机器太远，不容易优化而被诟病。但科技发展到今天，编译器的优化能力已经很强，软件系统越来越复杂，人的分工越来越细，函数式语言离数学更近，离机器更远，反而成为一种优势，有助于人把问题清晰化。从这个层面看，函数式编程是一种什么思维，就是推离机器的数学思维。这里没有内存、寄存器的想法，在 a=1之后，a 就不可能再等于2，当然你可以在 let a = 1 之后，再 let a = 2，但是这个a 就已经不是那个a，在停留在有内存概念的编程世界里，a 一直是 a，它是装东西的桶或者盒子，只是每次里面装的东西不同。

那么，总的来说，是先有朴素的函数式语言，然后才有今天发现函数式编程的好处， 启用了函数式语言的某些 feature，目的是为了把问题解构成更小的粒度。所以这些feature背后没什么逻辑，就好像问这石头为什么长这样一样。我只能打句偈语：本来就这样。

首先，C语言是世界上最好的编程语言，它是其他的编程语言需要膜拜的编程语言，它是编程语言世界“神一样”的存在，永远不可能过时，因为它是指引初学者学习编程语言的“灯塔”。

其后任何的编程语言，都有C语言的身影。它们出现，由于时间的推移和应用的特殊需要，C语言搭建的家园必须扩建，但是它们的基石离不开C语言，至少摆脱不了C语言的影子。

C语言是最接近底层(汇编语言)的编程语言，它编译后的效率极高。

C和C++语言都有指针，特别是函数指针，而其他高级语言极力反对的就是指针的存在。

有些编程语言的崛起就是以指针为攻击对象而吸引眼球的。

在嵌入式领域，中断向量实际就是函数指针。

C语言的函数指针和结构及联合，构成了完美的“COM接口技术”，故在嵌入式领域，C/C++编程语言是其他任何编程语言无法取代的。

菜农认为，没有指针的编程语言，就别在嵌入式领域混了！

如图所示，菜农在2003年在PIC上用宏汇编实现的“HPL语言”(早已完美地应用到产品上)，它也跑不出C语言的影子！

菜农从1981年就开始用汇编语言，BASIC，TC，BC，DBASE，FOXBASE，VB，VC++，FOXPRO，BC++，DELPHI，CVI，mysql，JAVA，C#，html，css，js，VB脚本到如今的PHP，也在2006年学过python，也看过QT总之菜农用过、学过和看过几乎所有流行的编程语言。

我们前篇谈了很多关于闭包的理解了，所以你应该会知道，我们现在将要谈的就是 ——异步。

我们为什么觉得“异步问题”复杂呢？

其中很重要的一个原因是 —— 时间！时间将我们对数据的 *** 作、管理，变复杂了好几个量级！

（需要特别提出并明确的是： 异步和同步之间是可以相互转化的！ 我们使用异步或者同步取决于 —— 如何使代码更加可读！）

函数式编程给出了实现“代码更可读”的落地原则（已多次回顾）：

所以我们可以期待，异步在函数式编程中的表现！

上代码：

onCustomer() 和 onOrders() 是两个回调函数释义，两者执行的先后顺序并不能确定，所以它是一个基于时间的复杂状态。

释义：回调函数其实就是一个参数，将这个函数作为参数传到另一个函数里面，当那个函数执行完之后，再执行传进去的这个函数。

通常来说，我们最先想到的是：把 lookupOrders() 写到 onCustomer() 里面，那我们就可以确认 onOrders() 会在 onCustomer() 之后运行。

这样写，对吗？

不对！因为 onCustomer() 、 onOrders() 这两个回调函数的关系更像是一种竞争关系（都是赋值 customerorders ）， 它们应该并行执行 ， 而不是串行执行 。

即：我不管你们谁先执行，谁先执行完，谁就赋值给 customerorders ！

那我们的思路应该是：

不过，这样让代码又变得更加难阅读！！函数内部赋值依赖于外部变量、甚至受外部回调函数的影响。

那究竟怎么办呢？

最终，我们借用 JS promise 减少这个时间状态，将异步转成同步：

两个 then() 运行之前， lookupCustomer() 和 lookupOrders() 已被同步调用，满足并行执行，谁先结束，谁赋值给 customerorders ，所以我们不需要知道谁先谁后！

在这样的实现下，不再需要时间先后的概念！减少了时间状态！！代码的可读性更高了！！

这是一个 积极的数组 ，因为它们同步（即时）地 *** 作着离散的即时值或值的列表/结构上的值。

什么意思？

a 映射到 b，再去修改 a ，b 不会收到影响。

而这，是一个 惰性的数组 ， mapLazy() 本质上 “监听” 了数组 a，只要一个新的值添加到数组的末端（push()），它都会运行映射函数 v => v 2 并把改变后的值添加到数组 b 里。

什么意思？

a 映射到 b，再去修改 a ，b 也会修改。

原来，后者存在 异步 的概念。

让我们来想象这样一个数组，它不只是简单地获得值，它还是一个懒惰地接受和响应（也就是“反应”）值的数组，比如：

设置“懒惰的数组” a 的过程是异步的！

b ，是 map 映射后的数组，但更重要的是，b 是 反应性 的，我们对 b 加了一个类似监听器的东西。

这里直接给出解答：

这里再多小结一句：时间让异步更加复杂，函数式编程在异步下的运用就是减少或直接干掉时间状态。

想象下 a 还可以被绑定上一些其他的事件上，比如说用户的鼠标点击事件和键盘按键事件，服务端来的 websocket 消息等。

上述的 LazyArray 又可叫做 observable ！（当然，它不止用在 map 方法中）

现在已经有各种各样的 Observables 的库类，最出名的是 RxJS 和 Most 。

以 RxJS 为例：

不仅如此，RxJS 还定义了超过 100 个可以在有新值添加时才触发的方法。就像数组一样。每个 Observable 的方法都会返回一个新的 Observable，意味着他们是链式的。如果一个方法被调用，则它的返回值应该由输入的 Observable 去返回，然后触发到输出的 Observable里，否则抛弃。

比如：

本篇介绍了异步在函数式编程中的表现。

原则是：对于那些异步中有时态的 *** 作，基础的函数式编程原理就是将它们变为无时态的应用。即 减少时间状态 ！

就像 promise 创建了一个单一的未来值，我们可以创建一个积极的列表的值来代替像惰性的observable（事件）流的值。

我们介绍了 RxJS 库，后续我们还会介绍更多优美的 JS 函数式编程库！

（俗话说的好，三方库选的好，下班都很早！！）

现在本瓜有点明白那句话了：看一门语言是不是函数式编程，取决于它的核心库是不是函数式编程。

也许我们还不熟悉像 RxJS 这类库，但我们慢慢就会越来越重视它们，越来越使用它们，越来越领会到它们！！

异步，以上。

python 中文就是蟒蛇的意思。

在计算机中，它是一种编程语言。

Python（英语发音：/ˈpaɪθən/）, 是一种面向对象、解释型计算机程序设计语言，由Guido van Rossum于1989年底发明，第一个公开发行版发行于1991年。Python语法简洁而清晰，具有丰富和强大的类库。它常被昵称为胶水语言，它能够把用其他语言制作的各种模块（尤其是C/C++）很轻松地联结在一起。常见的一种应用情形是，使用Python快速生成程序的原型（有时甚至是程序的最终界面），然后对其中有特别要求的部分，用更合适的语言改写，比如3D游戏中的图形渲染模块，性能要求特别高，就可以用C++重写。

1发展历程编辑

自从20世纪90年代初Python语言诞生至今，它逐渐被广泛应用于处理系统管理任务和Web编程。Python[1] 已经成为最受欢迎的程序设计语言之一。2011年1月，它被TIOBE编程语言排行榜评为2010年度语言。自从2004年以后，python的使用率是呈线性增长[2] 。

由于Python语言的简洁、易读以及可扩展性，在国外用Python做科学计算的研究机构日益增多，一些知名大学

已经采用Python教授程序设计课程。例如卡耐基梅隆大学的编程基础和麻省理工学院的计算机科学及编程导论就使用Python语言讲授。众多开源的科学

计算软件包都提供了Python的调用接口，

例如著名的计算机视觉库OpenCV、三维可视化库VTK、医学图像处理库ITK。而Python专用的科学计算扩展库就更多了，例如如下3个十分经典的

科学计算扩展库：NumPy、SciPy和matplotlib，它们分别为Python提供了快速数组处理、数值运算以及绘图功能。因此Python语

言及其众多的扩展库所构成的开发环境十分适合工程技术、科研人员处理实验数据、制作图表，甚至开发科学计算应用程序。

说起科学计算，首先会被提到的可能是MATLAB。然而除了MATLAB的一些专业性很强的工具箱还无法替代之外，MATLAB的大部分常用功能都可以在Python世界中找到相应的扩展库。和MATLAB相比，用Python做科学计算有如下优点：

● 首先，MATLAB是一款商用软件，并且价格不菲。而Python完全免费，众多开源的科学计算库都提供了Python的调用接口。用户可以在任何计算机上免费安装Python及其绝大多数扩展库。

● 其次，与MATLAB相比，Python是一门更易学、更严谨的程序设计语言。它能让用户编写出更易读、易维护的代码。

● 最后，MATLAB主要专注于工程和科学计算。然而即使在计算领域，也经常会遇到文件管理、界面设计、网络通信等各种需求。而Python有着丰富的扩展库，可以轻易完成各种高级任务，开发者可以用Python实现完整应用程序所需的各种功能。

2产生

Python的创始人为Guido van Rossum。1989年圣诞节期间，在阿姆斯特丹，Guido为了打发圣诞节的无趣，决心开发一个新的脚本解释程序，做为ABC 语言的一种继承。之所以选中Python（大蟒蛇的意思）作为程序的名字，是因为他是一个叫Monty Python的喜剧团体的爱好者。

ABC是由Guido参加设计的一种教学语言。就Guido本人看来，ABC

这种语言非常优美和强大，是专门为非专业程序员设计的。但是ABC语言并没有成功，究其原因，Guido 认为是非开放造成的。Guido

决心在Python 中避免这一错误。同时，他还想实现在ABC 中闪现过但未曾实现的东西。

就这样，Python在Guido手中诞生了。可以说，Python是从ABC发展起来，主要受到了Modula-3（另一种相当优美且强大的语言，为小型团体所设计的）的影响。并且结合了Unix shell和C的习惯。

3风格

Python在设计上坚持了清晰划一的风格，这使得Python成为一门易读、易维护，并且被大量用户所欢迎的、用途广泛的语言。

设计者开发时总的指导思想是，对于一个特定的问题，只要有一种最好的方法来解决就好了。这在由Tim

Peters写的Python格言（称为The Zen of Python）里面表述为：There should be one-- and

preferably only one --obvious way to do it 这正好和Perl语言（另一种功能类似的高级动态语言）的中心思想TMTOWTDI（There's More Than One Way To Do It）完全相反。

Python的作者有意的设计限制性很强的语法，使得不好的编程习惯（例如if语句的下一行不向右缩进）都不能通过编译。其中很重要的一项就是Python的缩进规则。

一个和其他大多数语言（如C）的区别就是，一个模块的界限，完全是由每行的首字符在这一行的位置来决定的（而C语言

是用一对花括号{}来明确的定出模块的边界的，与字符的位置毫无关系）。这一点曾经引起过争议。因为自从C这类的语言诞生后，语言的语法含义与字符的排列

方式分离开来，曾经被认为是一种程序语言的进步。不过不可否认的是，通过强制程序员们缩进（包括if，for和函数定义等所有需要使用模块的地方），Python确实使得程序更加清晰和美观。

4设计定位

Python

的设计哲学是“优雅”、“明确”、“简单”。因此，Perl语言中“总是有多种方法来做同一件事”的理念在Python开发者中通常是难以忍受的。

Python开发者的哲学是“用一种方法，最好是只有一种方法来做一件事”。在设计Python语言时，如果面临多种选择，Python开发者一般会拒绝

花俏的语法，而选择明确的没有或者很少有歧义的语法。由于这种设计观念的差异，Python源代码通常被认为比Perl具备更好的可读性，并且能够支撑大

规模的软件开发。这些准则被称为Python格言。在Python解释器内运行import this可以获得完整的列表。

Python开发人员尽量避开不成熟或者不重要的优化。一些针对非重要部位的加快运行速度的补丁通常不会被合并到

Python内。所以很多人认为Python很慢。不过，根据二八定律，大多数程序对速度要求不高。在某些对运行速度要求很高的情况，Python设计师

倾向于使用JIT技术，或者用使用C/C++语言改写这部分程序。可用的JIT技术是PyPy。

Python是完全面向对象的语言。函数、模块、数字、字符串都是对象。并且完全支持继承、重载、派生、多继承，有益于增强源代码的复用性。Python支持重载运算符和动态类型。相对于Lisp这种传统的函数式编程语言，Python对函数式设计只提供了有限的支持。有两个标准库(functools, itertools)提供了Haskell和Standard ML中久经考验的函数式程序设计工具。

虽然Python可能被粗略地分类为“脚本语言”（script language），但实际上一些大规模软件开发计划例如Zope、Mnet及BitTorrent，Google也广泛地使用它。Python的支持者较喜欢称它为一种高级动态编程语言，原因是“脚本语言”泛指仅作简单程序设计任务的语言，如shellscript、VBScript等只能处理简单任务的编程语言，并不能与Python相提并论。

Python本身被设计为可扩充的。并非所有的特性和功能都集成到语言核心。Python提供了丰富的API和

工具，以便程序员能够轻松地使用C语言、C++、Cython来编写扩充模块。Python编译器本身也可以被集成到其它需要脚本语言的程序内。因此，很

多人还把Python作为一种“胶水语言”（glue

language）使用。使用Python将其他语言编写的程序进行集成和封装。在Google内部的很多项目，例如Google

Engine使用C++编写性能要求极高的部分，然后用Python或Java/Go调用相应的模块。《Python技术手册》的作者马特利（Alex

Martelli）说：“这很难讲，不过，2004 年，Python 已在 Google 内部使用，Google 召募许多 Python

高手，但在这之前就已决定使用Python，他们的目的是 Python where we can, C++ where we

must，在 *** 控硬件的场合使用 C++，在快速开发时候使用 Python。”