肯尼斯·艾佛森：他用APL语言，将数学符号变成了可执行的思想

图灵奖第十四届 | 肯尼斯·艾佛森：他用APL语言，将数学符号变成了可执行的思想

一句话概括：他创造了一种“会思考”的数学记号，让复杂的数组运算在一行代码中完成，重塑了数据分析与科学计算的范式。

🏆 获奖简介

Kenneth E. Iverson（肯尼斯·尤金·艾佛森）是一位独树一帜的计算机科学家与数学家，他坚信“记法是思想的工具”，并用一生去践行这一哲学。

• 出生时间：1920年12月17日
• 出生地点：加拿大阿尔伯塔省
• 获奖年份：1979年
• 获奖原因：因其在数学记法和编程语言理论方面的开创性贡献，特别是创造了APL语言。

为什么他是第十四位？ 在那个编程语言追求“接近自然语言”的时代，艾佛森反其道而行之，创造了一种极其简洁、抽象但表达力极强的数学化语言。他提醒世界：编程语言不仅是与机器沟通的工具，更是辅助人类思考、表达思想的强大记法。

🚀 他的重大贡献

1. APL语言：一种“可执行的数学”

简单理解：想象一下，你不需要写循环，就能对一整个数组或矩阵进行求和、排序、筛选或执行复杂的代数运算，所有操作都通过几个特殊的符号在一行内完成。这就是APL（A Programming Language）的核心魅力。

Iverson的贡献：

• 背景：1950年代，艾佛森在哈佛大学任教，对当时描述算法和计算机过程的数学记法冗长、不精确且不一致感到不满。
• 灵感：他着手创造一种全新的、统一的、严谨的数学记法，用于教学和研究。这个记法最初并非为了编程，而是为了“思考”。
• 成就：1962年，他出版了奠基性著作《A Programming Language》，系统地阐述了这套记法。后来，在IBM同事的帮助下，这套记法被成功地实现在计算机上，成为了一种可交互、可执行的编程语言——APL。
• 核心特点：
  • 数组/向量/矩阵为基本单位：APL天生就是处理数组的。所有操作默认都作用于整个数组，极大地简化了数据处理代码。
  • 丰富的符号集：APL使用了一套独特的、类似数学符号的字符集（如 ⍴ 表示重塑数组，+/ 表示对数组所有元素求和），每个符号都代表一个强大的操作。
  • 从右到左的执行顺序：APL没有复杂的运算符优先级规则，所有表达式严格从右向左执行，使得代码行为完全可预测。
  • 极度简洁：完成同样的功能，APL代码的长度通常只有传统语言（如FORTRAN或C）的几分之一。

为什么重要？

• 数组编程范式的开创者：APL是第一个将数组作为一等公民的语言，开创了“数组编程”或“向量化编程”的范式。这一思想深刻影响了后来的科学计算和数据分析领域。
• 思想工具的典范：艾佛森证明了，一种设计精良的记法可以极大地提升思考的效率和深度。APL程序员常常被称为“思考速度更快的人”。
• 交互式计算的先驱：APL是最早的解释型、交互式语言之一，用户可以在终端上即时输入表达式并获得结果，这在当时是革命性的体验。

2. “记法即思想”的哲学：重塑计算机科学教育

简单理解：我们使用的语言和符号，决定了我们能够思考什么以及如何思考。一个好的记法，能让我们想得更清晰、更深刻。

Iverson的贡献：

• 核心哲学：他反复强调，记法不仅仅是记录思想的工具，它本身就是思想的一部分。一个简洁、一致、强大的记法，能够解放我们的思维，让我们专注于问题本身，而不是繁琐的实现细节。
• 对教育的影响：他主张在数学和计算机科学教育中尽早引入APL这样的严谨记法。他认为，这能帮助学生建立清晰的算法思维，更好地理解复杂的数学概念。
• 著作与演讲：在他的图灵奖演讲《作为思想工具的记法》（Notation as a Tool of Thought）中，他系统地阐述了这一哲学，并用大量实例展示了APL如何简化复杂问题的表达。

为什么重要？

• 提升了对编程语言本质的认识：在人们普遍关注语言的“易用性”和“功能性”时，艾佛森将我们的注意力引向了语言的“思想性”和“表达性”。
• 影响了现代DSL（领域特定语言）的设计：许多现代DSL，如用于数据分析的R语言、用于机器学习的Python库（NumPy, Pandas），其核心思想——将复杂操作封装在简洁的函数或操作符中，对整个数据集进行操作——都与APL一脉相承。

3. J语言：APL的继承与演进

简单理解：J语言是艾佛森在晚年对APL思想的再次提纯。它保留了APL所有强大的数组编程能力，但抛弃了特殊的字符集，只使用标准的ASCII字符。

Iverson的贡献：

• 背景：APL虽然强大，但其独特的字符集需要专门的键盘和显示设备，这在个人计算机时代成为了其普及的巨大障碍。
• 成就：1990年，艾佛森与许国华（Roger Hui）合作开发了J语言。J语言巧妙地使用ASCII字符的点（.）和冒号（:）作为后缀，来组合出与APL符号等价的功能。
• 核心改进：
  • 纯ASCII：解决了APL的推广难题。
  • 更强的函数式特性：引入了“动词”（函数）、“名词”（数据）和“副词/连词”（高阶函数）等更清晰的函数式编程概念。

为什么重要？

• APL思想的现代化：J语言让APL的核心思想在现代计算机上得以延续和发展。
• 函数式编程的实践：J语言是函数式编程思想和数组编程思想的完美结合，为探索更高级的编程范式提供了范例。

🌍 对世界的深远影响

1. 开创了现代数据科学的编程范式

今天，几乎所有数据科学家和机器学习工程师都在使用Python的NumPy、Pandas库或R语言。这些工具的核心优势是什么？——向量化计算。你可以在整个数组或数据框上执行操作，而无需编写显式的循环。这个思想的鼻祖，正是艾佛森的APL。可以说，没有艾佛森，就没有今天高效、简洁的数据科学编程。

2. 塑造了金融量化分析领域

APL的极高计算密度和强大的时序数据处理能力，使其在华尔街的金融公司中大受欢迎。许多早期的量化交易、风险分析和投资组合管理系统都是用APL构建的。至今，APL及其后继者（如Kdb+/q）仍在金融领域扮演着重要角色。

3. 推动了交互式计算与探索式编程

APL的即时反馈特性，让编程从一种“写-编译-运行-调试”的漫长循环，变成了一种“思考-尝试-观察”的动态探索过程。这种交互式编程模式，是今天Jupyter Notebook等探索式数据分析环境的先驱。

4. 提供了衡量语言设计的新维度

艾佛森的“记法即思想”哲学，为编程语言的设计和评价提供了一个全新的维度。一个好的语言，不仅要看它的性能或功能，更要看它能否成为一个优秀的“思想放大器”，帮助我们更清晰地思考和表达。

🏆 获奖理由

ACM官方表彰：表彰他在编程语言和数学记法方面的贡献，特别是APL语言的创造和实现。

更通俗的理解：他是一位”语言哲学家”和”思想工具的铸造师”。他创造的APL，就像一把瑞士军刀，用极其锋利、简洁的工具，解决了数据处理中的核心问题。他让我们明白，代码可以像诗歌一样凝练，像数学公式一样精确。

👤 个人生平与传奇

生平时间线

• 1920年12月17日：出生于加拿大阿尔伯塔省的一个农场。
• 1942-1945年：二战期间在加拿大皇家空军服役。
• 1950年：获得加拿大女王大学数学与物理学学士学位。
• 1951年：获得哈佛大学数学硕士学位。
• 1954年：在霍华德·艾肯（Howard Aiken，Mark I计算机的创造者）的指导下，获得哈佛大学应用数学博士学位。
• 1955-1962年：在哈佛大学担任助理教授，期间开始发展他的数学记法。
• 1962年：加入IBM，并出版《A Programming Language》。
• 1964年：APL的第一个版本在IBM内部实现。
• 1970年：因其在IBM的贡献被评为IBM Fellow，这是IBM员工的最高技术荣誉。
• 1979年：获得图灵奖。
• 1980年：离开IBM，加入I. P. Sharp Associates公司，继续推广和发展APL。
• 1990年：与许国华合作发布J语言。
• 2004年10月19日：因中风在多伦多逝世，享年83岁。

人格魅力：简洁与深刻的统一

艾佛森本人就如同他创造的语言一样，追求极致的简洁与清晰。

• 谦逊而执着：他一生都在不懈地推广他的记法哲学，即使面对主流编程界的质疑和不解，也从未动摇。
• 严谨的思考者：他的著作和演讲以其逻辑的严密和表达的精确而著称。
• 优秀的教育家：他始终将自己定位为一名教师，他创造APL的初衷就是为了更好地教学。

经典语录

“Notation as a Tool of Thought.” （记法是思想的工具。）——他图灵奖演讲的标题，也是他一生哲学的总结。

“Most programming languages are partly a way of expressing things in terms of pieces of computer, and partly a way of expressing things in terms of pieces of problem. APL is the latter.” （大多数编程语言，一部分是用来描述计算机的部件，一部分是用来描述问题的部件。APL是后者。）

“It is important to distinguish between the difficulty of a tool and the difficulty of a subject. APL is a difficult tool, but it makes the difficult subject of programming much easier.” （区分一个工具的难度和一个学科的难度很重要。APL是一个难学的工具，但它让编程这个难学的学科变得容易得多。）

🧐 轶事趣闻：那些“奇怪”的符号

1. “一行代码的挑战”

APL社区中流传着许多关于“一行代码”的传奇。其中最著名的一个是“生命游戏”（Game of Life）的APL实现。这个复杂的细胞自动机模拟，用传统语言可能需要上百行代码，而一个经验丰富的APL程序员可以用一行极其凝练的代码实现。这完美地体现了APL的惊人表达力。

2. “神秘”的键盘

由于APL使用了大量非标准的数学符号，早期的APL程序员需要使用专门定制的IBM键盘。这些键盘上印满了希腊字母和各种奇特的符号，在外人看来，使用这种键盘编程就像是在念一段神秘的咒语。这也给APL蒙上了一层“精英”和“神秘”的面纱。

3. 从农场到哈佛

艾佛森的早年经历颇为坎坷。他出生在加拿大一个偏远的农场，由于经济困难，他在9年级后就辍学了。直到二战期间，他在空军服役时，通过函授课程才完成了高中学业。战后，他凭借惊人的毅力和才华，一路从女王大学读到哈佛博士，师从第一代计算机先驱霍华德·艾肯。这段经历塑造了他坚韧不拔、脚踏实地的品格。

💭 为什么他值得纪念？

1. 他是数据科学编程范式的“隐形教父”

虽然今天很少有人直接使用APL，但其核心思想——向量化计算——已经通过NumPy、R、MATLAB等工具，渗透到数据科学、机器学习、金融和科学计算的方方面面。我们都在享受着艾佛森思想带来的红利，即使我们并不知道他的名字。

2. 他提升了我们对“语言”的认知高度

艾佛森让我们重新思考编程语言的本质。语言不仅仅是命令的集合，更是一种思维的框架。他的工作启发我们去设计和寻找那些能够让我们思考得更清晰、表达得更优雅的工具。

3. 他是”少即是多”哲学的极致践行者

在软件日益臃肿复杂的今天，艾佛森和他的APL提醒我们简洁的力量。通过高度的抽象和强大的操作符，APL用最少的代码完成最多的工作。这种对”简洁之美”的追求，在今天依然具有深刻的现实意义。

💡 给开发者的启示

1. 拥抱向量化思维

如果你使用Python进行数据分析，请尽可能使用NumPy/Pandas的向量化操作，而不是显式的循环。这不仅能提高性能，更重要的是能让代码更简洁、更易读。

# ❌ 不推荐：显式循环
result = []
for x in data:
    result.append(x * 2 + 1)

# ✅ 推荐：向量化操作
result = data * 2 + 1  # NumPy数组

2. 选择合适的抽象层次

不是所有问题都需要从底层实现开始。学会识别何时应该使用高级抽象（如数据库查询、向量化操作），何时需要深入底层（如性能关键代码）。好的程序员懂得在不同的抽象层次间自如切换。

3. 语言塑造思维

学习一门新的、与你熟悉的范式完全不同的语言（如函数式语言Haskell、逻辑式语言Prolog、数组式语言APL/J），能够极大地拓展你的思维方式。即使你不在生产环境中使用它们，它们带给你的思想也会让你成为更好的程序员。

4. 追求表达力而非行数

代码的质量不在于行数多少，而在于表达的清晰度和解决问题的效率。有时候，一行精心设计的代码胜过一百行啰嗦的实现。但要注意：简洁不等于晦涩，代码首先要让人能读懂。

❓ 常见问题

Q: APL今天还有人用吗？ A: 虽然APL本身不再是主流语言，但它的思想已经深深影响了现代编程。直接使用APL的主要是金融、保险等特定领域。其现代继承者包括J语言、K语言（以及基于K的Kdb+数据库），在金融量化领域仍然活跃。

Q: 我应该学习APL吗？ A: 如果你想挑战自己、拓展思维，或者在金融科技领域工作，学习APL或J语言是有价值的。即使不在工作中使用，它也会改变你思考数组和数据处理的方式。但如果只是为了找工作，学习Python/NumPy可能更实用。

Q: “记法即思想”对我有什么用？ A: 这提醒我们，工具不是中性的——你使用的编程语言、框架、库会潜移默化地影响你的思维模式。选择合适的工具，学习优秀的范式，能让你成为更好的问题解决者。

Q: 为什么APL没有像FORTRAN那样成功？ A: 主要障碍是APL独特的字符集和陡峭的学习曲线。在个人计算机时代来临前，APL需要专门的键盘和显示设备。而FORTRAN使用普通的ASCII字符，更容易推广。但在表达力和简洁性上，APL是无可匹敌的。

📚 延伸阅读

• 《A Programming Language》（1962）：艾佛森的开创性著作，系统阐述APL记法
• 《Notation as a Tool of Thought》（1979）：他的图灵奖演讲，必读经典
• 《An Introduction to APL》：适合初学者的APL入门
• tryapl.org：在线尝试APL，无需安装
• jsoftware.com：J语言官方网站，APL的现代继承者

---

总结语：肯尼斯·艾佛森是一位真正的远见者。他用一种近乎偏执的执着，创造了一种超越时代的编程语言和一种影响深远的编程哲学。他告诉我们，强大的工具能够重塑我们的思维。虽然APL的符号看起来陌生，但其背后所蕴含的关于抽象、简洁和向量化计算的思想，已经成为现代计算世界不可或缺的一部分。他用一生证明了：最高级的代码，是思想本身。