Can programming be liberated from the von Neumann style?

冯·诺依曼建筑 函数式程序设计 计算机科学 编程风格 程序设计语言 域代数上的 风格(视觉艺术) 语义学(计算机科学) 代数表达式 程序设计范式 理论计算机科学 代数数 数学 纯数学 数学分析 历史 考古
作者
J. W. Backus
出处
期刊:Communications of The ACM [Association for Computing Machinery]
卷期号:21 (8): 613-641 被引量:2194
标识
DOI:10.1145/359576.359579
摘要

Conventional programming languages are growing ever more enormous, but not stronger. Inherent defects at the most basic level cause them to be both fat and weak: their primitive word-at-a-time style of programming inherited from their common ancestor—the von Neumann computer, their close coupling of semantics to state transitions, their division of programming into a world of expressions and a world of statements, their inability to effectively use powerful combining forms for building new programs from existing ones, and their lack of useful mathematical properties for reasoning about programs. An alternative functional style of programming is founded on the use of combining forms for creating programs. Functional programs deal with structured data, are often nonrepetitive and nonrecursive, are hierarchically constructed, do not name their arguments, and do not require the complex machinery of procedure declarations to become generally applicable. Combining forms can use high level programs to build still higher level ones in a style not possible in conventional languages. Associated with the functional style of programming is an algebra of programs whose variables range over programs and whose operations are combining forms. This algebra can be used to transform programs and to solve equations whose “unknowns” are programs in much the same way one transforms equations in high school algebra. These transformations are given by algebraic laws and are carried out in the same language in which programs are written. Combining forms are chosen not only for their programming power but also for the power of their associated algebraic laws. General theorems of the algebra give the detailed behavior and termination conditions for large classes of programs. A new class of computing systems uses the functional programming style both in its programming language and in its state transition rules. Unlike von Neumann languages, these systems have semantics loosely coupled to states—only one state transition occurs per major computation.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
2秒前
坡坡大王完成签到,获得积分10
3秒前
钱宇成关注了科研通微信公众号
3秒前
4秒前
Zayro完成签到,获得积分10
5秒前
6秒前
自信雅琴发布了新的文献求助10
6秒前
anna发布了新的文献求助10
9秒前
CodeCraft应助Lu采纳,获得10
10秒前
10秒前
10秒前
Bressanone发布了新的文献求助10
11秒前
妙蛙完成签到,获得积分10
12秒前
13秒前
111111111发布了新的文献求助10
14秒前
妙蛙发布了新的文献求助10
16秒前
17秒前
爱笑紫菜发布了新的文献求助30
19秒前
19秒前
20秒前
李爱国应助111111111采纳,获得10
20秒前
tay发布了新的文献求助10
21秒前
科研通AI5应助ffff采纳,获得10
22秒前
过氧化氢发布了新的文献求助30
24秒前
感动黄豆发布了新的文献求助10
25秒前
钱宇成发布了新的文献求助10
25秒前
YJ888发布了新的文献求助10
25秒前
vincen91完成签到,获得积分10
29秒前
Leach完成签到 ,获得积分10
30秒前
长乐完成签到,获得积分10
31秒前
FashionBoy应助院士人启动采纳,获得10
35秒前
36秒前
36秒前
AptRank完成签到,获得积分10
37秒前
量子星尘发布了新的文献求助10
37秒前
焦糖布丁的滋味完成签到,获得积分10
37秒前
38秒前
隐形的觅波完成签到 ,获得积分10
39秒前
儒雅南风完成签到 ,获得积分10
40秒前
小马甲应助科研通管家采纳,获得10
41秒前
高分求助中
A new approach to the extrapolation of accelerated life test data 1000
ACSM’s Guidelines for Exercise Testing and Prescription, 12th edition 500
‘Unruly’ Children: Historical Fieldnotes and Learning Morality in a Taiwan Village (New Departures in Anthropology) 400
Indomethacinのヒトにおける経皮吸収 400
Phylogenetic study of the order Polydesmida (Myriapoda: Diplopoda) 370
基于可调谐半导体激光吸收光谱技术泄漏气体检测系统的研究 350
Robot-supported joining of reinforcement textiles with one-sided sewing heads 320
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 3989115
求助须知:如何正确求助?哪些是违规求助? 3531367
关于积分的说明 11253688
捐赠科研通 3269986
什么是DOI,文献DOI怎么找? 1804868
邀请新用户注册赠送积分活动 882078
科研通“疑难数据库(出版商)”最低求助积分说明 809105