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