约翰·巴科斯

约翰·巴科斯领导了IBM团队开发了Fortran，这是第一个广泛使用的高级编程语言，改变了人类与早期计算机交互的方式。他于1924年出生在费城，在IBM工作了四十多年，对代码的实际应用以及定义现代编程语法的形式数学结构都产生了影响。

兵役与早期教育

在加入IBM之前，巴科斯的学术道路并不平坦。他曾就读于希尔学校，后来进入弗吉尼亚大学，但因出勤率低被开除。二战期间，他在美国陆军服役，指挥一个高射炮连。军事能力测试促使他转入匹兹堡大学学习工程学，并在哈弗福德学院参加医学预科课程。在从医学院退学并接受颅骨板更换手术后，他于1946年退伍。

Fortran与IBM的创新

巴科斯在哥伦比亚大学获得数学学士和硕士学位后，于1950年加入IBM。他早期的工作包括为选择序列电子计算器计算月球位置。到1953年，他开发了Speedcoding，这是他最重要成就Fortran的前身。Fortran的引入旨在简化IBM 704上的软件开发，它绕过了对机器架构深厚知识的需求，建立了一个高级标准，使科学家能够将计算机作为实用工具使用。

形式符号与算法标准

在Fortran工作之后，巴科斯为ALGOL 58和ALGOL 60的开发做出了贡献。为了解决这些语言语法定义中的复杂性，他创建了巴科斯-诺尔范式（BNF）。这种符号为描述上下文无关文法提供了一种一致且形式化的方法，成为编译器开发中的标准功能。他在定义这些形式程序方面的工作是他获得1977年ACM图灵奖的主要理由。

免费测试

你的是多少？

二十道题、八分钟计时，以及与所有参与者对比得出的百分位。无需注册。

开始智商测试 →

函数级研究

在职业生涯后期，巴科斯专注于函数级编程范式。他引入了FP语言，并在1977年的图灵奖演讲中详细阐述了该语言，批评了传统的冯·诺依曼编程风格。他的最后一个项目FL旨在IBM内部进一步发展这些概念。尽管这些语言与Fortran相比实现有限，但它们影响了函数式编程的持续研究以及后续语言（如J语言）的设计。