函数式编程（英语：functional programming）或称函数程序设计，又称泛函编程，是一种编程典范，它将计算机运算视为数学上的函数计算，并且避免使用程序状态以及易变对象。函数编程语言最重要的基础是λ演算（lambda calculus）。而且λ演算的函数可以接受函数当作输入（引数）和输出（传出值）。
典型的函数式编程语言：
1.纯函数式编语言（强静态类型、弱类型）
2.非纯函数式编程语言（强静态类型、弱类型、强动态类型）
3.其他函数式编程语言（APL、XSLT）
流行原因：函数式语言具有并行、单元测试、没有额外作用、不修改状态、引用透明、代码部署热等特点。
由于代码简单，加快了开发的速度；由于函数式语言的并行特点，程序员在编程过程中无需修改代码程序就可并发执行，且运行期间程序不会产生死锁；函数式编程语言的代码十分简单，加快了开发的速度。并且由于在使用函数式编程语言时，程序员会大量使用到函数，从而减少了重复的代码，因而程序比较短。其次，函数式编程语言更加接近我们使用的自然语言，程序员在学习和使用它的时候更加快捷容易。函数式编程语言的自由度很高，十分接近自然语言写出的代码。另外，函数式编程语言的代码管理更加方便。函数式编程不会对外部产生依赖，也不会修改外界的状态。程序员只需把指定的参数给函数，相同的参数其返回的结果必定是相同的。最后，函数式编程语言的代码支持代码热升级。