特征... 但是明显的事实却是，很少有语言使编程者能足够廉价或更加可靠的去验证生产和学习使用它们的代价是值得的。他设计的FP语言成为了第一个专门支持函数级编程风格的编程语言。函数级程序是无变量（variable-free）的，也叫无点编程，因为程序变量在函数级程序中是不需要的，而它在值级定义中是根本性的。在Backus研究并出版他自己的函数级风格编程之时，他的提议在很大程度上被误解为支持传统的函数式编程。