函数式编程（英语：functional programming）或称函数程序设计，又称泛函编程，是一种编程典范，它将计算机运算视为
数学上的
函数计算，并且避免使用
程序状态以及易变对象。函数编程语言最重要的基础是
λ演算（lambda calculus）。而且λ演算的函数可以接受函数当作输入（引数）和输出（传出值）。
函数式编程中最古老的例子莫过于1958年被创造出来的
lisp了。函数式编程更加现代一些的例子包括
scheme、
Haskell、
Clean、
Erlang、
clojure、Miranda等。
虽然
λ演算并非设计来于计算机上运行，但它可以被视作第一个函数式编程语言。1980年代末期，集函数式编程研究成果于大成的Haskell发布。