FP简称的意思，即函数式程序设计，是一种设计、编制和调试函数式程序的技术。
传统程序设计语言中的赋值等概念，在函数式程序设计语言中消失。函数式程序的一个最本质的特性，就是函数值唯一地由其参数值所确定。只要使用相同的参数值，对此程序的不同的调用总是得到相同的结果。这种性质称为引用透明性，有助于程序的模块化。函数式程序设计语言具有较强的组织数据结构的能力，可以把某一数据结构（如数组）作为单一值处理可以把函数作为参数，其结果也可为函数，这种定义的函数称为高阶函数。这些由函数表达式所表示的程序简明、紧凑和易于维护。
