FP即函数式程序设计：是一种设计、编制和调试函数式程序的技术。函数式程序是由一些原始函数、定义函数和函数型组成的函数表达式。1977年，巴克斯提出函数式程序设计的概念。由于函数式程序设计语言的简明性和独特的表达能力，可用它来研究传统程序设计语言的语义，一种方法是用于确定一个解释程序的定义，作为被研究的语言的语义，另一种方法是将被研究的语言写成的程序转换成与之等价的函数式程序。