函数式编程（英语：functional programming）或称函数程序设计，又称泛函编程，是一种编程典范，它将计算机运算视为数学上的函数计算，并且避免使用程序状态以及易变对象。函数编程语言最重要的基础是λ演算（lambda calculus）。而且λ演算的函数可以接受函数当作输入（引数）和输出（传出值）。
比起指令式编程，函数式编程更加强调程序执行的结果而非执行的过程，倡导利用若干简单的执行单元让计算结果不断渐进，逐层推导复杂的运算，而不是设计一个复杂的执行过程。
函数编程语言典型的函数式编程语言
函数编程语言纯函数式编程语言
强静态类型
Concurrent CleanHaskellMiranda弱类型Lazy K函数编程语言非纯函数式编程语言
强静态类型
F#MLOCamlScala强动态类型ErlangLISPLOGOSchemeClojureMathematicaR弱类型Unlambda函数编程语言其他函数式编程语言
APL
XSLT函数编程语言历史
函数式编程中最古老的例子莫过于1958年被创造出来的lisp了。函数式编程更加现代一些的例子包括scheme、Haskell、Clean、Erlang、clojure、Miranda等。
虽然λ演算并非设计来于计算机上运行，但它可以被视作第一个函数式编程语言。1980年代末期，集函数式编程研究成果于大成的Haskell发布。
基于Javascript的某些开发理念强调函数式的实现方法。
函数编程语言速度和空间上的顾虑
函数式编程常被认为严重耗费CPU和存储器资源。主因有二：
在实现早期的函数式编程语言时并没有考虑过效率问题。面向函数式编程特性（如保证函数参数不变性等）的独特数据结构和算法。
