FP（缩写的Functional Programming），是John Backus创立的支持函数级编程范式的编程语言。它允许消去命名变量。这种语言是在Backus的1977年图灵奖获奖演讲论文《编程可以从冯诺依曼风格中解放出来吗？程序的函数式风格及其代数》中提出的。这篇论文点燃了对函数式语言研究的兴趣，最终导致了现代函数式语言，但不是Backus曾希望的函数级范式。在他的这篇图灵奖论文中，Backus描述了FP风格与基于lambda演算的语言有着如何不同：FP自身在学术界之外从未被大量使用。在19