见的是OCaml和Standard ML。在20世纪70年代，Guy L. Steele和Gerald Jay Sussman开发了Scheme，如有影响力的“Lambda论文集”和经典的1985年教科书《计算机程序的构造和解释》中所描述的那样。Scheme是使用词法作用域和尾调用优化的第一个Lisp方言，将函数式编程的影响力提升到更广泛的范围，让更多的编程语言社区接触到它们。在20世纪80年代，Per Martin-Löf开发了直觉类型论（也称为构造类型论），它将函数式编程与表现为类型依赖的数学证