函数式程序设计是一种设计、编制和调试函数式程序的技术，是由一些原始函数、定义函数和函数型组成的函数表达式。函数语言以λ-演算为其语义基础, 它的基本机制是函数对参数的作用, 函数是程序的基本项, 程序的编制便是函数的递归构造过程。