编程风格的编程语言。函数级程序是无变量（variable-free）的，也叫无点编程，因为程序变量在函数级程序中是不需要的，而它在值级定义中是根本性的。在Backus研究并出版他自己的函数级风格编程之时，他的提议在很大程度上被误解为支持传统的函数式编程。