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