函数式语言(functional language)一类程序设计语言，是一种非冯·诺伊曼式的程序设计语言。函数式语言主要成分是原始函数、定义函数和函数型。这种语言具有较强的组织数据结构的能力，可以把某一数据结构(如数组)作为单一值处理；可以把函数作为参数，其结果也可为函数，这种定义的函数称为高阶函数，程序就是函数，程序作用在结构型数据上，产生结构型结果，从根本上改变了冯·诺伊曼式语言的“逐词”工作方式。
函数式语言有：OCaml、 Lisp、scheme、Haskell、Clean、Erlang、Clojure、Miranda等等。
函数式语言流行起来的原因：
函数式语言具有并行、单元测试、没有额外作用、不修改状态、引用透明、代码部署热等特点。
由于代码简单，加快了开发的速度；由于函数式语言的并行特点，程序员会大量使用函数，从那个人减少了重复的代码，因而程序比较短。其次，函数式编程语言更加接近于我们使用的自然语言，程序员在学习和使用它的时候更加快捷容易，函数式语言的自由度很高，十分接近自然语言写出的代码。另外，函数式语言的代码管理更加方便，函数式编程不会对外部产生依赖，也不会修改外界对的状态。程序员只需要把指定的参数给函数，相同的参数返回的结果必然是相同的。最后，函数式语言的代码支持代码热升级。