ALGOL 60

1959年深冬，巴黎的一间会议室里，烟雾缭绕，空气中弥漫着紧张的气息。来自欧洲和美国的顶尖计算机科学家们围坐在一张长桌旁，他们面色凝重，争论的声音几乎要掀翻屋顶。争论的核心，是一个看似简单却无比深邃的问题：在一种即将诞生的新语言里，“赋值”究竟意味着什么？当程序将一个变量的值赋给另一个变量时，传递的是那个值本身，还是那个变量所指向的内存位置？这个问题，后来被概括为“值调用”与“名称调用”的世纪之争。这场争论的最终妥协方案，被写进了一份后来被称为“黄皮书”的报告中。这份报告，就是ALGOL 60的官方定义。它不仅仅是一份技术文档，更是一份宣言，宣告了编程语言从手工作坊式的工具，迈向了庄严的数学和工程学殿堂。在计算机科学的浩瀚星空中，ALGOL 60或许不是最璀璨、最广为人知的那一颗，但它无疑是引力最强的几颗之一。它定义了现代语言语法的骨架，播下了结构化编程的种子，是当之无愧的“万语之母”。

要理解ALGOL 60为何如此重要，我们必须先回到它诞生的那个时代。那是20世纪50年代末，计算机刚刚从庞然大物的电子管机器，进化到使用晶体管的第二代。编程，还是一项极其原始且痛苦的活动。当时的主流方式是机器语言和汇编语言，程序员必须牢记无数晦涩的操作码和内存地址，每一行代码都像是在与硬件进行一场艰难的搏斗。Fortran（公式翻译语言）的出现，为科学计算带来了曙光。它让程序员可以用接近数学公式的语句来编写程序，大大提高了效率。然而，Fortran是由IBM一家公司主导的商业产品，它的语法设计服务于特定的硬件和商业目标，缺乏普遍的理论基础。在欧洲，特别是在大学和研究机构，科学家们渴望一种更优雅、更严谨、更具表达力，并且独立于任何特定机器的语言。

这种渴望，催生了1958年在苏黎世的一次历史性会面。当时，美国计算机协会（ACM）和德国应用数学与力学协会（GAMM）的代表们坐在一起，决定联手设计一种通用的算法语言。这场合作的产物，就是1958年发布的ALGOL 58。它只是一个初步的草案，但已经提出了许多革命性的概念，比如用begin和end来界定代码块，用更清晰的语法来表达循环和条件判断。然而，ALGOL 58充满了漏洞和歧义，它更像是一份“愿望清单”，而非一份可以实际实现的规范。于是，在1959年，双方决定巴黎召开一次更正式、更彻底的会议，目标只有一个：拿出一份毫无歧义、绝对严谨的语言定义。这次会议，就是1959年冬季的巴黎会议，也是那场激烈争论的舞台。

会议的参与者名单，几乎就是一部计算机科学的“名人堂”。来自欧洲的有彼得·诺尔（Peter Naur），一位丹麦天文学家出身的计算机科学家，他后来因为对ALGOL 60的贡献而获得图灵奖；还有弗里德里希·鲍尔（Friedrich L. Bauer）和克劳斯·萨梅尔森（Klaus Samelson），他们为“栈”和“过程调用”的理论奠定了基础。来自美国的则有约翰·巴克斯（John Backus），Fortran之父，以及艾伦·佩利（Alan Perlis），第一位图灵奖得主。这些天才们在巴黎的严寒中，进行了一场智力上的“奥林匹克竞赛”。他们争论的不仅是“值调用”与“名称调用”，还有如何定义递归、如何设计数组的边界、如何处理goto语句的副作用。正是在这场会议上，约翰·巴克斯提出了一个石破天惊的想法：用一种形式化的、类似数学公式的符号系统来描述语言的所有语法。这就是巴科斯范式（BNF）。BNF的出现，让语言定义从此告别了模糊的自然语言描述，变成了一门可以精确推导和证明的数学。彼得·诺尔随后对其进行了完善，因此BNF有时也被称为巴科斯-诺尔范式。

1960年1月，经过数周的激烈辩论和通宵达旦的工作，ALGOL 60的最终报告终于定稿。这份报告由彼得·诺尔主编，以其严谨的数学风格和清晰的逻辑结构，被后人誉为“黄皮书”。它只有几十页，却定义了编程语言设计的全部精髓。ALGOL 60的核心创新，可以用几个关键词来概括：块结构、词法作用域、递归、BNF。

块结构是ALGOL 60最直观的贡献。它引入了begin...end这对关键字来创建逻辑上的“块”。在块内部定义的变量，只在这个块内有效。这听起来理所当然，但在当时却是颠覆性的。在Fortran中，所有变量都是全局的，一个大型程序的变量名很容易相互冲突。块结构让程序员可以将程序分解为更小、更独立的单元，每个单元拥有自己的“领地”。这就是结构化编程的萌芽。词法作用域则更进一步：它规定，在一个块内部可以访问外部块的变量，但外部块不能访问内部块的变量。这种嵌套的作用域规则，为后来的Pascal、C、Java等语言提供了完美的模型。

递归——一个过程调用自身的能力——也是ALGOL 60首次在主流语言中明确支持的。在此之前，递归虽然理论上存在，但实现起来极其困难，因为需要复杂的内存管理（比如栈）。ALGOL 60的委员会勇敢地将递归纳入了标准，尽管当时许多计算机的硬件和操作系统都还无法很好地支持它。这体现了ALGOL 60的设计哲学：语言定义应该追求数学上的完美和表达力，而不是迁就当时的硬件限制。这种“向前看”的勇气，正是它成为经典的原因。

然而，ALGOL 60也并非完美无缺。最著名的缺陷，就是它没有定义任何标准的输入输出语句。委员会认为，输入输出是与具体硬件紧密相关的，不应该在语言核心中定义。因此，不同的ALGOL 60实现版本，其输入输出方式千差万别，这极大地影响了它的可移植性和商业推广。另一个争议之处，就是前面提到的“名称调用”。这种参数传递方式在理论上非常优雅，但实现起来效率低下，而且容易产生难以预料的副作用。例如，在“名称调用”下，一个表达式如\