函数式编程

函数式编程是种编程典范，它将电脑运算视为函数的计算。函数编程语言最重要的基础是λ演算(lambdacalculus)。而且λ演算的函数可以接受函数当作输入(参数)和输出(返回值)。和指令式编程相比，函数式编程强调函数的计算比指令的执行重要。和过程化编程相比，函数式编程里，函数的计算可随时调用。虽然λ演算并非设计来于计算机上执行，但可视为第一个函数式编程语言。1980年代末期，Haskell发布，企图集合很多函数式编程研究里的想法。