BCPL

1964年，当IBM的System/360还在襁褓之中，当麻省理工学院的MAC项目正在探索分时系统的可能性，当大多数程序员还在用汇编语言与机器进行原始对话时，剑桥大学数学实验室的一位年轻研究员Martin Richards，正在构思一种足以改变未来五十年计算生态的语言。他给自己的作品取了一个朴实无华的名字：BCPL——Basic Combined Programming Language。这个名字听起来像是某个入门教材的标题，但历史将证明，它是整个现代软件世界的基石之一。

要理解BCPL诞生的意义，必须回到那个时代的技术环境。1960年代初，计算机仍是庞然大物，一台大型机占据整个房间，内存以K为单位计量，磁带上存储程序，打孔卡片是主要的输入方式。编程语言世界刚刚经历了一场革命：FORTRAN带来了科学计算，COBOL瞄准商业应用，ALGOL定义了算法描述。但这些语言有一个共同的问题——它们都是为特定领域设计的高级语言，编译器的实现极其复杂，而且几乎不可移植。每换一台机器，整个编译器就要重写。当时，系统软件——操作系统、编译器、调试器——仍然主要用汇编语言编写，因为高级语言无法提供对硬件的精细控制，生成的目标代码也不够高效。

正是在这样的背景下，Martin Richards开始了他的探索。Richards并非计算机科班出身，他本科在剑桥大学学习数学，后来在数学实验室攻读博士学位，研究方向是数值分析。但真正吸引他的，是编程语言的底层机制。他注意到，每当剑桥大学引进一台新的计算机，整个软件栈就要从头开始移植，这不仅是巨大的浪费，也阻碍了思想的交流。他需要一个工具，能够快速为不同机器编写系统软件，尤其是编译器本身。

Richards最初的想法并不复杂：设计一种语言，足够简单，以至于它的编译器可以在极小的内存中运行；同时足够强大，能够编写系统级的程序。这个“极简主义”哲学贯穿了BCPL的整个设计。Richards后来回忆说，他的一个执念是BCPL的编译器能在8K内存中运行。8K，不是8兆，更不是8G。在那个年代，内存是金子般的资源，8K意味着一个编译器可以运行在当时最小型的机器上，这为BCPL的传播提供了关键优势。

1964年，Richards开始在剑桥大学的Titan计算机上设计BCPL。Titan是剑桥大学自行建造的计算机，基于ATLAS架构，拥有当时先进的分时操作系统。Richards最初的目标是用BCPL编写一个编译器，这个编译器本身要在MIT的CTSS（Compatible Time-Sharing System）上运行。CTSS是分时系统的先驱，由MIT的MAC项目开发，运行在IBM 7094上。这意味着Richards要在剑桥的机器上开发一种语言，然后把它移植到MIT的完全不同架构的机器上。这在今天看来是寻常的交叉编译，但在1960年代，这是一项极具挑战的工程。

1967年，经过三年的反复调试和优化，第一个BCPL编译器终于完成。这个编译器是用BCPL本身编写的，然后通过一个极小的引导程序（bootstrap）在目标机器上启动。这种自我编译（self-compiling）的技术后来成为编译器设计的标准做法，但在当时却是革命性的。更令人惊叹的是，Richards设计的编译器具有可移植性：它分为前端和后端，前端处理语法分析，后端生成目标代码，中间通过一个称为“INTCODE”的中间表示连接。INTCODE是一种虚拟机的机器码，可以在任何机器上解释执行。这意味着，要移植BCPL到一台新机器，只需要为INTCODE编写一个解释器，大约几百行代码，而不是重写整个编译器。这个设计理念，比Java的字节码早了近三十年。

BCPL的技术创新远不止于此。它引入了一系列后来成为主流的语言特性。首先是花括号{}来标记代码块。在BCPL之前，ALGOL使用begin和end，FORTRAN使用行号，汇编则完全依靠跳转。花括号的简洁性使得代码结构一目了然，这一设计被B语言和C语言直接继承，进而影响了Java、JavaScript、C#、Perl、PHP等几乎所有现代语言。当我们今天在代码中写下花括号时，实际上是在向1964年的剑桥致敬。

BCPL还引入了结构化编程的概念。它支持循环语句（如WHILE、UNTIL）、条件语句（如IF、SWITCHON）和子程序调用，但放弃了ALGOL那种复杂的嵌套过程和类型系统。Richards有意保持语言的简单：BCPL只有一种数据类型——机器字（word）。所有变量、指针、数组都是机器字的别名，没有整数和浮点数的区分，没有字符类型，没有结构体。这种极端的简化带来了极致的灵活性：程序员可以像操作汇编一样直接控制内存，同时享受高级语言的抽象。这种“接近机器的高级语言”哲学，后来成为C语言设计的核心原则。

BCPL的另一个关键创新是它对指针的处理。虽然ALGOL和FORTRAN都有类似指针的概念，但BCPL将指针提升为一等公民。它提供了显式的地址运算符（@）和间接访问运算符（!），允许程序员直接操作内存地址。这种能力对于编写操作系统和编译器至关重要。Richards甚至设计了一种称为“向量”的机制，类似于后来的数组，但本质上就是指针算术。C语言中的指针运算、数组和地址的等价关系，都可以追溯到BCPL。

BCPL还有一个著名的贡献：它可能是史上第一个使用“hello world”作为示例程序的编程语言。在BCPL的参考手册中，Richards给出了一个简单的示例：GET "LIBHDR" LET START() BE WRITES("Hello, World")。这个短语后来被肯·汤普森和丹尼斯·里奇在C语言教程中沿用，最终成为每个程序员第一次运行程序时的仪式。没有BCPL，就没有这个跨越半个世纪的问候。

BCPL的发展历程并非一帆风顺。1967年编译器完成后，Richards继续在剑桥大学和MIT之间奔波，推广他的语言。1969年，他加入了贝尔实验室，在那里遇到了肯·汤普森和丹尼斯·里奇。当时，汤普森正在为PDP-7开发一个名为UNICS（后来拼写为UNIX）的操作系统。他需要一个高级语言来编写系统，但BCPL的编译器对于PDP-7来说仍然过于庞大。于是，汤普森对BCPL进行了大幅简化，去掉了许多特性，只保留最核心的部分，创造了B语言。B语言进一步压缩了数据类型，甚至取消了花括号（改用begin和end），但保留了BCPL的指针操作和简洁哲学。

1971年，里奇在B语言的基础上增加了类型系统，创造了C语言。C语言保留了BCPL的花括号、指针、结构化控制流，但加入了字符、整数、浮点等基本类型，以及结构体和联合。里奇后来承认，C语言的很多设计直接来自BCPL，包括按值传递参数、数组和指针的等价性、以及预处理器的概念。可以说，没有BCPL，就没有B语言；没有B语言，就没有C语言；而没有C语言，就没有UNIX、Linux、Windows、macOS以及整个互联网的基础设施。

BCPL本身在1970年代也迎来了自己的高峰。1974年，Richards发布了BCPL的“INTCODE”规范，使得BCPL可以轻松移植到各种机器。1978年，他出版了《BCPL参考手册》，成为该语言的权威定义。BCPL被用于编写多个操作系统的早期版本，包括TRIPOS（一种可移植操作系统，后来影响了AmigaOS）和某些版本的CP/M。它还用于编写编译器、文本编辑器、命令行工具等系统软件。在学术圈，BCPL成为研究编程语言设计和实现的重要平台。

然而，随着C语言的崛起，BCPL逐渐淡出了主流视野。C语言提供了更强的类型检查、更丰富的表达能力和更好的可移植性，同时保持了BCPL的效率。到1980年代，C语言已经成为系统编程的事实标准，BCPL则退居幕后，成为计算机历史课程中的一段注脚。但Richards本人并未停止工作。他继续维护和改进BCPL，直到2000年代还在发布新版本。他甚至将BCPL移植到了现代系统，包括Windows和Linux，作为一种教学工具和历史遗产。

BCPL的市场影响很难用数字衡量，因为它从未成为商业产品。它是一款学术语言，由剑桥大学和贝尔实验室等机构自由使用和传播。但它的间接影响是巨大的。通过B语言和C语言，BCPL塑造了整个软件工业。今天，数以百万计的C语言程序员每天都在使用BCPL开创的语法和概念。每一个用花括号括起来的代码块，每一次指针运算，每一句“Hello, World”，都是对BCPL的致敬。

BCPL的文化遗产还体现在它对“极简主义”编程哲学的贡献。Richards的设计理念——语言应该足够小，以至于一个编译器能在8K内存中运行——后来被汤普森和里奇继承，成为Unix哲学的一部分：小即是美，简单就是力量。这种哲学影响了Python的“简洁胜于复杂”、Go语言的“少即是多”、以及Rust的“零成本抽象”。在软件日益臃肿的今天，BCPL的极简精神依然具有启示意义。

关于BCPL，还有一些有趣轶事。据说Richards最初并不想用“BCPL”这个名字，他考虑过“CPL”（Combined Programming Language），但发现这个名字已经被伦敦大学的一个项目占用了。于是他在前面加了一个“B”，代表“Basic”。这个“Basic”不是指BASIC语言，而是“基础的、基本的”意思。另一个故事是，当Richards在贝尔实验室展示BCPL时，肯·汤普森对它的简洁性印象深刻，但抱怨说BCPL的编译器仍然太大。Richards反驳说，BCPL已经足够小了，但汤普森坚持认为还可以更小。汤普森最终用B语言证明了这一点——B语言的编译器只有几千行代码，可以在PDP-7的4K内存中运行。这种“更小”的竞赛，催生了现代操作系统的基础。

在剑桥大学数学实验室的档案中，至今保存着Martin Richards早期BCPL编译器的打孔卡片和打印输出。这些泛黄的纸张上，每一行代码都是手工键入，每一个括号都经过精心设计。它们见证了一个时代：当计算机还是稀有资源，当编程还是一项手艺，当一个人可以用几千行代码改变世界。BCPL的故事告诉我们，最伟大的创新往往源于最朴素的需求——让编译器小一点，让程序可移植一点，让代码整洁一点。正是这些“一点”，累积成了数字文明的基石。

今天，当我们打开终端，输入gcc hello.c，然后运行a.out，看到屏幕上打印出“Hello, World”时，我们实际上是在执行一段跨越六十年的仪式。这个仪式始于1964年的剑桥，始于Martin Richards的执念，始于BCPL。它提醒我们，每一行现代代码，都承载着历史的重量。而BCPL，这位C语言的曾祖父，虽然已经白发苍苍，却依然在计算机历史的殿堂中，安静地注视着自己的子孙后代，在互联网的海洋中乘风破浪。