on::::历史.函数式编程的理论基础是阿隆佐·邱奇在1930年代开发的Lambda演算，其本身是一种数学的抽象而不是编程语言。另一个组合子逻辑是比它更加古老和基础的数学根基，由和哈斯凯尔·柯里在1920年代和1930年代开发。两者都是为了更好的表达数学基础才被开发的。于20世纪50年代后期，John McCarthy在麻省理工学院，开发了早期的函数式语言Lisp，运行在大型IBM主机（IBM700/7000系列）上。LISP的函数是使用邱奇的lambda表示法定义的，并扩展了标签构造来允许递归函数。