渐进，逐层推导复杂的运算，而不是设计一个复杂的执行过程。在函数式编程中，函数是第一类对象，意思是说一个函数，既可以作为其它函数的输入参数值，也可以从函数中返回值，被修改或者被分配给一个变量。
历史.函数式编程的理论基础是阿隆佐·邱奇在1930年代开发的Lambda演算，其本身是一种数学的抽象而不是编程语言。另一个组合子逻辑是比它更加古老和基础的数学根基，由和哈斯凯尔·柯里在1920年代和1930年代开发。两者都是为了更好的表达数学基础才被开发的。于20世纪50年代后期，Jo