FP是函数式编程:它是一种设计、编译和调试函数式程序的技术。函数式程序是由一些原始函数、定义函数和函数类型组成的函数表达式。1977年，Bacchus提出了函数式编程的概念。由于函数式程序设计语言的简洁性和独特的表达能力，可以用来研究传统程序设计语言的语义。一种方法是定义一个解释器作为所学语言的语义，另一种方法是把用所学语言编写的程序转换成与之等价的功能程序。
标签：
相关文章
