到了ISWIM的启发。同年，David Turner在圣安德鲁斯大学开发SASL语言，它基于了ISWIM的应用式子集。在1976年，Turner重新设计并重新实现它为惰性求值语言。在20世纪70年代的爱丁堡，Burstall和Darlington开发了NPL语言。 NPL基于 ，并在他们的程序转换工作中首次引入。 然后Burstall、MacQueen和Sannella结合了来自ML的多态类型检查，从NPL派生出了Hope语言。ML最终发展成几种语言，其中最常见的是OCaml和Standard ML。在