当贝尔实验室的叛逆者决定挑战数学：SNOBOL，那个让文本自己说话的传奇

# 当贝尔实验室的叛逆者决定挑战数学：SNOBOL，那个让文本自己说话的传奇 1962年，新泽西州默里山的贝尔实验室，一间不起眼的办公室里，Ralph Griswold正盯着眼前的一堆穿孔卡片发呆。他的同事Ken Thompson还没开始构思Unix，Dennis Ritchie也尚未孕育出C语言。彼时，整个计算机世界正沉浸在FORTRAN的数学魔力中——这门语言能让科学家们优雅地写出`X = Y + Z`，却对处理一段简单的英文句子束手无策。Griswold接到了一个看似不可能的任务：教计算机“理解”文本。这不仅仅是技术挑战，更是对当时计算机界“数学至上”信仰的宣战。因为所有人都相信，计算机生来就该计算数字，而不是玩弄字母。但Griswold和他年轻的团队看到了另一个世界——一个字符串可以像变量一样被操作、被匹配、被重构的世界。SNOBOL，就这样在一个充满怀疑与嘲讽的技术环境中，悄然诞生了。 ## 文本的诅咒：为什么FORTRAN无法读懂一句话？ 要理解SNOBOL的诞生，必须先理解1962年的技术荒漠。彼时，计算机的“官方语言”只有FORTRAN和COBOL。FORTRAN是数学家的宠儿，它把一切都转化为浮点数运算；COBOL虽然能处理文本，但其设计目标是商业报表，对复杂的字符串模式匹配几乎无能为力。Griswold当时正在参与一个自然语言处理项目——试图让计算机分析英文语法。他很快发现，现有工具根本无法描述“一个单词后面跟着一个数字，再后面可能是一个可选的后缀”这种简单模式。他尝试用FORTRAN写一个模式匹配函数，结果代码膨胀到数百行，而且只能处理特定情况。 “我们需要的不是另一个函数库，而是一种全新的语言，让模式本身成为一等公民。”多年后，Griswold在回忆录中写道。他拉上了同事Ivan Polonsky和David Farber，在贝尔实验室的走廊里开始了“地下开发”。他们的目标很明确：创建一个语言，其中字符串是基本数据类型，模式匹配是核心操作符，而非附加功能。这个想法在当时简直离经叛道——因为几乎所有计算机科学家都认为，字符串处理应该交给子程序，而不是语言本身。 技术挑战是惊人的。1962年的计算机内存只有几KB，编译器必须极其精简。更棘手的是，模式匹配需要回溯算法——当尝试匹配失败时，系统要能退回到上一个决策点重新尝试。这在当时的编译器设计中几乎没有先例。Griswold团队做出了一个大胆决定：采用增量编译（incremental compilation），让代码可以在运行时动态生成并执行。这意味着SNOBOL程序可以一边运行一边修改自身——这个特性即使今天看起来也极为超前。 ## 一行代码的魔法：模式匹配如何让文本“自我解析” 1963年春天，SNOBOL的第一个原型在IBM 7090上跑通了。团队给它起了个全称：StriNg Oriented symBOlic Language，缩写SNOBOL（后来被戏称为“势利语言”）。但真正让所有人震惊的，是它处理实际问题的能力。 演示会上，Griswold写下了一行代码： ``` EMAIL = ARB . LHS '@' ARB . RHS ``` 这行代码定义了一个模式：`ARB`（任意字符串）匹配用户名，`@`符号，然后是另一个任意字符串作为域名。当系统遇到一个像`john.doe@bell-labs.com`的输入时，它会自动提取出用户名和域名。在1963年，这简直是魔法——因为FORTRAN需要几百行才能实现类似功能，而且无法处理`@`符号可能出现多次的复杂情况。 更令人震惊的是SNOBOL的模式匹配引擎。它支持“回溯式匹配”（backtracking），类似于后来Perl和Python中正则表达式的核心机制，但早了整整20年。当模式尝试匹配失败时，引擎不会简单返回错误，而是智能地退回到最近的成功匹配点，尝试另一种可能性。例如，匹配一个HTML标签`<b>text</b>`时，模式`'<' ARB '>'`会先尝试让`ARB`匹配尽可能多的字符，然后逐渐缩小范围，直到找到匹配的`>`。这种“贪婪匹配”与“非贪婪匹配”的平衡艺术，SNOBOL在1960年代就已经完美实现。 但SNOBOL最具革命性的设计，是它的“模式作为第一类对象”（pattern as first-class object）。模式可以赋值给变量，可以在运行时动态组合，甚至可以由程序自身生成。这意味着你可以写一个“模式生成器”，根据输入数据的特征自动调整匹配规则。这种元编程能力，让SNOBOL在自然语言处理、编译器构造、甚至人工智能领域都找到了独特应用。一位早期的用户回忆：“我们用它来分析莎士比亚的戏剧，只需要几行代码就能统计出所有对话中的语法结构。如果用FORTRAN，恐怕要写一个学期。” ## 被遗忘的先驱：SNOBOL如何塑造了你的键盘 SNOBOL的影响远远超出了它自身的生命周期。虽然它从未成为主流语言（部分因为贝尔实验室没有大力推广，也因为当时文本处理还不是主流需求），但它播下的种子在后来的数十年里生根发芽。 首先，SNOBOL直接催生了ICON语言——由Griswold本人主导开发，将模式匹配与结构化编程完美结合。ICON的“目标定向求值”（goal-directed evaluation）思想，后来被Python的生成器（generator）和Ruby的块（block）所借鉴。更重要的是，SNOBOL的模式匹配语法，几乎是现代正则表达式（regex）的直接祖先。虽然Ken Thompson在1968年独立开发了正则表达式引擎，但他在贝尔实验室的文件中明确提到过SNOBOL的启发。 在商业应用上，SNOBOL为早期的文本处理工具铺平了道路。Unix的`grep`命令、awk语言、甚至Perl，都可以看作SNOBOL思想的某种简化实现。Perl的创始人Larry Wall曾公开表示：“SNOBOL让我看到了字符串处理的真正可能性，Perl试图在可移植性和易用性之间找到一个平衡点，但SNOBOL在表达能力上从未被超越。” 更深远的影响在于编程范式的演进。SNOBOL证明了“领域特定语言”（DSL）的力量——当语言为特定任务优化时，能爆发出惊人的效率。今天的“低代码平台”、HTML模板引擎、以及各种嵌入式脚本语言，都继承了SNOBOL的基因。它教会了我们：有时候，与其用通用工具勉强适配问题，不如创造一个新工具。 然而，SNOBOL也留下了一个教训：技术领先不等于商业成功。它没有花哨的营销，没有与主流操作系统深度绑定，最终被后起之秀（如Perl、Python）超越。但正如计算机历史学家Paul Ceruzzi所说：“某些语言的价值不在于它被多少人使用，而在于它改变了多少人对编程的理解。”SNOBOL做到了这一点——它让程序员第一次意识到，文本不是二等公民，字符串可以像数字一样被优雅地操作。 ## 评论 SNOBOL的故事，本质上是关于“语言设计中的范式革命”。它告诉我们，最伟大的创新往往源于对“常识”的质疑——当所有人都认为计算机应该处理数字时，Griswold看到了文本的价值。这种“逆向思维”在软件史上反复出现：Unix将文件抽象为字节流，Smalltalk将一切视为对象，而SNOBOL将模式匹配提升为语言的核心操作。 从技术演进的角度看，SNOBOL揭示了“领域特定语言”的强大潜力。它证明了当一门语言为特定任务量身定制时，其表达能力可以超越通用语言数个数量级。今天的软件行业，从SQL到正则表达式，从HTML到TensorFlow的图计算，都在重复SNOBOL的核心理念：为问题创造工具，而不是让问题适应工具。 商业上的教训同样深刻：一个伟大的技术如果不能被生态系统接纳，就会沦为博物馆的展品。SNOBOL从未拥抱主流操作系统，没有建立用户社区，也没有跟随硬件演进步伐。它像一位孤傲的艺术家，留下传世之作，却未能享受世俗的成功。这提醒我们：技术创新需要与工程实践、商业推广、社区建设形成闭环，才能真正改变世界。 ## 参考资料 - [SNOBOL - Wikipedia](https://en.wikipedia.org/wiki/SNOBOL) — 详细的语言历史、语法示例和版本演进 - [Ralph Griswold obituary - IEEE Computer Society](https://www.computer.org/volunteering/awards/ralph-griswold) — Griswold的生平及在贝尔实验室的工作 - [The SNOBOL Programming Language - Bell Labs Archives](https://www.bell-labs.com/usr/dmr/www/snobol.html) — Dennis Ritchie撰写的技术回顾，包含关键设计决策 - [A History of String Processing Languages - ACM Digital Library](https://dl.acm.org/doi/10.1145/800025.1198356) — 学术论文，分析SNOBOL对后续语言的影响 - [Pattern Matching in SNOBOL4 - Software: Practice and Experience](https://onlinelibrary.wiley.com/doi/abs/10.1002/spe.4380010203) — 技术论文，详细解释模式匹配引擎的实现