什么是函数式语言：
函数式语言(functional language)一类程序设计语言.是一种非冯·诺伊曼式的程序设计语言.函数式语言主要成分是原始函数、定义函数和函数型.这种语言具有较强的组织数据结构的能力，可以把某一数据结构(如数组)作为单一值处理;可以把函数作为参数，其结果也可为函数，这种定义的函数称为高阶函数.程序就是函数，程序作用在结构型数据上，产生结构型结果，从根本上改变了冯·诺伊曼式语言的"逐词"工作方式.
函数式语言具有简明性和独特的表达能力，因此可用它来研究传统程序设计语言的语义.巴科斯<Backus,J.)分析了传统程序设计语言的缺陷，认为这些缺陷主要是采用冯·诺伊曼式系统结构所造成的.巴科斯提出的函数式程序设计系统FP摆脱了传统的冯·诺伊曼计算机结构，因此，需要一种新型的非冯·诺伊曼式的系统结构为后援.
常见的函数式语言有三类：
1 lisp类，分common lisp和scheme两大小类，特点是链表是基本语法结构和数据结构（因为函数式语言的不变性需要大量的数据拷贝，而list则可以以很小的代价进行拷贝）和类型系统不严格
2 ML类，包括OCaml和F#,haskell等，特点是语法类似命令式，有严格和复杂的类型系统，能直接编译为本地代码
3 各种脚本语言，如python,ruby,lua等，理论上javascript也是纯正的函数式语言。大多数仅仅是实现了lambda函数，有的实现了continue等更多特征。
函数式语言流行的原因：
无需线程等操作系统支持，函数式语言可以轻易实现模拟多线程。go语言里面就大量使用这种手法。现代很多脚本语言也用来写异步语法。比如我们写界面语言，经常要等待键盘输入，或者等待某个操作完成（比如读盘或者下载）。过去我们这个时候只能写一个无限循环不停等，其他部分的操作就只能等了。现在只要马上返回一个触发函数，这个触发函数保留了当前运行状态然后去干别的事情。等我们要的操作完成的时候，去调用那个触发函数，我们就继续从刚才的断点往下跑了。使用函数式编程的匿名函数还可以把这样一个阻塞式函数自动变成非阻塞式的。传统方法不是不能做到，只是很难在简单写程序的情况下又保证跑下去和当时一样。
现代程序的一个特点是要做大量的并行操作。网页程序同时在刷新界面元素，等待后台读取数据，还在监视用户输入，同时还在播放背景音乐。使用函数式编程可以大大简化。传统这些用的是回调函数，函数式编程可以直接把回调函数写成匿名函数包在调用语句里面，十分直观。更别谈如果要用到外部变量的时候非函数语言如何正确传播变量了。