值级编程
在计算机科学中,值级编程指称John Backus在他的将程序作为数学对象来研讨的著作中标识出的两种对立编程范型之一,另一种是函数级编程[1]。Backus最初使用术语“对象级编程”,但是现在这么称呼可能会混淆于面向对象编程。
编程范型 |
---|
概述
值级程序是描述如何组合各种“值”(比如数、符号、字符串等),形成其他的值直到获得最终的“结果值”的程序。通过应用各种从值到值的函数比如加法、串接、逆矩阵等,从现存的值构造新的值。
在常规上,冯·诺依曼程序都是值级的:在赋值语句右侧的表达式专一的关注建造接着要存储的一个值。
基于Lambda演算的语言(比如Lisp、ISWIM和Scheme),在实际实践中都是值级语言,尽管它们不会因而在设计上的受到限制。
参见
- 函数级编程(对比)
引用
- Backus, John. (PDF). Communications of the ACM. 1978, 21 (8): 613–641 [2020-05-08]. doi:10.1145/359576.359579. (原始内容存档 (PDF)于2018-08-19).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.