函数式编程（英语： functional programming）或称 函数程序设计，又称 泛函编程，是一种编程典范，它将计算机运算视为 数学上的 函数计算，并且避免使用 程序状态以及易变对象。函数编程语言最重要的基础是 λ演算（lambda calculus）。而且λ演算的函数可以接受函数当作输入（引数）和输出（传出值）。

比起 指令式编程，函数式编程更加强调程序执行的结果而非执行的过程，倡导利用若干简单的执行单元让计算结果不断渐进，逐层推导复杂的运算，而不是设计一个复杂的执行过程。