函数级编程

概述

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

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

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

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

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

参见

引用

  1. Backus, John. (PDF). Communications of the ACM. 1978, 21 (8): 613–641 [2020-04-20]. doi:10.1145/359576.359579. (原始内容存档 (PDF)于2018-08-19).
  2. Hudak, Paul. . ACM Computing Surveys. 1989, 21 (3): 359–411. doi:10.1145/72551.72554.

外部链接

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.