函数级编程 编辑
在计算机科学中，函数级编程，指称John Backus在他的将程序作为数学对象来研讨的著作中标识出的两种对立编程范型之一，另一种是值级编程。在Backus研究并出版他自己的函数级风格编程之时，他的提议在很大程度上被误解为支持传统的函数式编程。
1
相关
隐式编程，或函数级编程，是一种编程范型，也叫做无点样式。其中函数定义不标示所要操作的参数，转而函数定义只是其他函数的复合函数，比如那些操纵参数的组合子逻辑。隐式编程有着理论价值，因为严格的使用复合导致程序非常适配于方程式推理。它也是特定编程语言的自然样式，包括APL语言及其派生者，和串接编程语言比如Forth。将参数缺席称为“point-free”导致了不必要的晦涩，故而有了别名为“pointless”。
约翰·华纳·巴科斯，美国计算机科学家，是早期高阶语言FORTRAN的发明小组组长。他提出了巴科斯范式，发明了函数级编程概念及实践该概念的FP。为1977年图灵奖得主。
约翰·华纳·巴科斯，美国计算机科学家，是早期高阶语言FORTRAN的发明小组组长。他提出了巴科斯范式，发明了函数级编程概念及实践该概念的FP。为1977年图灵奖得主。
约翰·华纳·巴科斯，美国计算机科学家，是早期高阶语言FORTRAN的发明小组组长。他提出了巴科斯范式，发明了函数级编程概念及实践该概念的FP。为1977年图灵奖得主。
约翰·华纳·巴科斯，美国计算机科学家，是早期高阶语言FORTRAN的发明小组组长。他提出了巴科斯范式，发明了函数级编程概念及实践该概念的FP。为1977年图灵奖得主。
Joy编程语言是澳大利亚乐卓博大学Manfred von Thun创立的纯函数式编程语言。Joy基于了函数复合而非Lambda表达式。它表现出同30年前出现的Forth语言的很多类似性，这不归结为设计原因而是某种平行的演化和趋同。它还受到John Backus的FP的函数级编程的影响。
FP，是John Backus创立的支持函数级编程编程范式的编程语言。它允许消去命名变量。
FL，是John Backus、John Williams和Edward Wimmers在1980年代于IBM研究院创立的函数式编程语言，并于1989年形成报告文档。FL被设计为Backus更早的FP语言的后继者，提供了对Backus所称的函数级编程的专门支持。