函数级编程

在计算机科学中,函数级编程指称John Backus在他的将程序作为数学对象来研讨的著作中标识出的两种对立编程范式之一,另一种是值级编程

概述编辑

Backus在他的1977年图灵奖获奖演讲中,阐述了为何他认为在编程语言设计中需要切换到一种不同的哲学[1]

编程语言似乎遇到了麻烦。每种后续语言,虽做了一点清理,都合并了它的前任们的所有特征,并加上了更多的特征。[...] 每种新语言都宣称了新的和时尚的特征... 但是明显的事实却是,很少有语言使编程者能足够廉价或更加可靠的去验证生产和学习使用它们的代价是值得的。

他设计的FP语言成为了第一个专门支持函数级编程风格的编程语言

函数级程序是无变量(variable-free)的,也叫无点编程,因为程序变量在函数级程序中是不需要的,而它在值级定义中是根本性的。

在Backus研究并出版他自己的函数级风格编程之时,他的提议在很大程度上被误解为支持传统的函数式编程[2]

参见编辑

引用编辑

  1. ^ Backus, John. Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs (PDF). Communications of the ACM. 1978, 21 (8): 613–641. doi:10.1145/359576.359579. 
  2. ^ Hudak, Paul. Conception, evolution, and application of functional programming languages. ACM Computing Surveys. 1989, 21 (3): 359–411. doi:10.1145/72551.72554. 

外部链接编辑