n合作过的Arthur Whitney创建了K语言，后者在金融行业中与其衍生出来的语言一起被商业化使用。1977年John Backus在他的图灵奖颁奖演讲《可以从冯·诺依曼式的编程风格中解放出来的程序设计和函数式风格及其程序代数》中，展示了他提出的FP。他将函数式编程定义为通过“组合形式”以分层方式构建，允许“程序代数”; 在现代语言中，这意味着函数式程序应遵循复合性原理。Backus的论文推广了函数式编程的研究，虽然它强调的是函数级编程而不是现在所说的lambda演算风格。1973年爱丁堡大学的