约翰·巴科斯（John Backus）

约翰·巴科斯（John Backus,1924-2007）是美国计算机科学家,高级编程语言的开拓者。他在IBM领导开发了FORTRAN——第一个获得广泛应用的高级语言,并共同提出了描述语言语法的巴科斯-诺尔范式（BNF）,1977年获图灵奖。

概述

巴科斯早年经历坎坷,曾从医学院退学,后在哥伦比亚大学取得数学学位并加入IBM。1950年代,程序员还在用汇编语言艰难编程,他提出让计算机自动把接近数学公式的语句翻译成机器码的设想。1957年,FORTRAN编译器正式发布,证明了自动翻译生成的代码效率可以接近手写汇编,彻底改变了软件开发方式。

核心贡献

• FORTRAN语言:面向科学与工程计算的第一个实用高级语言,至今仍在高性能计算领域使用。
• 优化编译器:FORTRAN项目开创了编译优化技术,让人们相信高级语言的性能可以接受。
• 巴科斯-诺尔范式:在定义ALGOL语言时与彼得·诺尔共同发展出BNF,成为描述编程语言文法的标准记号,沿用至今。
• 函数式编程倡导:1977年图灵奖演讲中提出FP函数级编程思想,批评冯·诺依曼风格的赋值式编程,启发了后来的函数式语言研究。

影响

没有FORTRAN,就没有后来编程语言的繁荣。它证明了抽象与效率可以兼得,让编程从少数专家的手艺变成大众可学的技能。BNF则让语言设计与编译器构造有了严谨的形式化工具,是每一本编译原理教材的起点。

常见问题

问:FORTRAN这个名字是什么意思？答:来自Formula Translation（公式翻译）的缩写,意为把数学公式自动翻译成机器指令。

问:FORTRAN今天还有人用吗？答:有。在气象模拟、计算物理等高性能计算领域,大量核心程序仍由现代版本的Fortran编写和维护。