函数式语言(functional language)一类程序设计语言，是一种非冯·诺伊曼式的程序设计语言。函数式语言主要成分是原始函数、定义函数和函数型。

函数式语言有：Haskell，Clean，Meta Language；

为什么函数式语言会流行起来？

      首先，函数式编程语言的代码十分简单，加快了开发的速度。并且由于在使用函数式编程语言时，程序员会大量使用到函数，从而减少了重复的代码，因而程序比较短。其次，函数式编程语言更加接近我们使用的自然语言，程序员在学习和使用它的时候更加快捷容易。函数式编程语言的自由度很高，十分接近自然语言写出的代码。另外，函数式编程语言的代码管理更加方便。函数式编程不会对外部产生依赖，也不会修改外界的状态。程序员只需把指定的参数给函数，相同的参数其返回的结果必定是相同的。另外，函数式编程语言还支持并发编程，这就使得程序员在进行函数式编程时完全不用考虑死锁的问题，因为它根本就不修改变量，所以就不存在锁线程的问题。最后，函数式编程语言的代码支持代码热升级。