FP表示函数式程序设计，全名为“FunctionalProgramming”。是一种设计、编制和调试函数式程序的技术。函数式程序是由一些原始函数、定义函数和函数型组成的函数表达式。

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