1985年教科书《计算机程序的构造和解释》中所描述的那样。Scheme是使用词法作用域和尾调用优化的第一个Lisp方言，将函数式编程的影响力提升到更广泛的范围，让更多的编程语言社区接触到它们。在20世纪80年代，Per Martin-Löf开发了直觉类型论（也称为构造类型论），它将函数式编程与表现为类型依赖的数学证明联系起来。这导致了的新方法的产生，并影响了后续的函数式编程语言的发展。David Turner开发的惰性求值函数式语言Miranda最初出现在1985年，採用来自ML与Hope语言的概念，作