并重新实现它为惰性求值语言。在20世纪70年代的爱丁堡，Burstall和Darlington开发了NPL语言。 NPL基于 ，并在他们的程序转换工作中首次引入。 然后Burstall、MacQueen和Sannella结合了来自ML的多态类型检查，从NPL派生出了Hope语言。ML最终发展成几种语言，其中最常见的是OCaml和Standard ML。在20世纪70年代，Guy L. Steele和Gerald Jay Sussman开发了Scheme，如有影响力的“Lambda论文集”和经典的1985