被哈佛驱逐的他，竟发明了让程序员头疼的编程语言！

肯尼斯·艾弗森在哈佛大学当了5年助教，没有获得终身教职。

院长不提拔他的一个重要原因就是：这5年，除了一本小书之外，什么都没出版！

那本小书后来帮助他获得了计算机界最高奖：图灵奖。

这本小书的名字叫做《A Programming Language》

（注：这个故事是另外一个图灵奖获得者布鲁克斯讲的，我搜了一下，《A Programming Language》这本小书其实在哈佛大学的时候并没有出版，艾弗森当时只是发明了一套符号系统，主要用于教学）

A Programming Language 缩写是APL， 它真的是一个编程语言！

这个名字实在是搞笑，不由得让人想起周星驰的电影《鹿鼎记》中的“有间客栈”。

一个编程语言，为什么有这么大的影响力，竟然能获得图灵奖？

有人认为APL是世界上最丑陋的编程语言，因为用它写出的代码实在是太难懂了。

下面是个康威生命游戏的代码，一行就能实现极为复杂的功能。

看看这奇奇怪怪的符号，甚至得配一个专用的键盘，要不然你根本就敲不出来。

还有人认为它是有史以来最重要的编程语言，它本质上是函数式的，迫使程序员进行并行思考，它支持任意形状和大小的矩阵，提供了任何你能想象得到的运算符进行选择，拆分，连接，投影，重塑等各种运算，几天内就可以用APL写一个SQL解释器，没有任何语言能和它媲美。

其实，艾弗森并不是为了编写计算机程序而设计APL的，他是为了更好地表达数学思想和算法，这使得APL具有一种非常独特的符号体系，如希腊字母、箭头、圆圈等。

比如数组a = [1,2,3,4] 在APL 中是这么表示的：

A ← 1 2 3 4

两个数组相加：

A ← 1 2 3 4B ← 5 6 7 8A + B ⍝ 输出 6 8 10 12

创建一个从1到5的数组：

n ← ⍳ 5  ⍝ n的值是[1,2,3,4,5]

把数组n的每个元素做平方：

n * 2     ⍝ 结果是[1,4,9,16,25]，APL中星号表达的是平方，不是乘法

对数组n中每个元素相加，求和：

+/ n      ⍝ 结果是 1+2+3+4+5 = 15 ,“/”是规约运算，它使得左侧的运算符（+）应用到右侧所有元素

对数组n求平均值

(+/ n) ÷ ⍴n     ⍝ ⍴ 是求一个数组的个数

再来一个复杂一点儿的：生成6个随机数，范围在1到999之间，并按照升序显示

x [ ⍋ x ← 6 ? 40 ]

APL对矩阵运算和高维数组操作非常简洁和直观，假设我们有两个矩阵A和B

我们要计算两个矩阵的乘积C = A × B

A ← 2 2 ⍴ 1 2 3 4B ← 2 2 ⍴ 5 6 7 8C ← A +.× B

解释一下：

(1) 2 2 ⍴ 1 2 3 4 将一维数组 1 2 3 4 重新排列为一个 2x2 的矩阵 A。⍴ 是reshape的意思。

(2) 2 2 ⍴ 5 6 7 8 将一维数组 5 6 7 8 重新排列为一个 2x2 的矩阵 B。

(3) +.× 是APL的内置运算符，用于矩阵乘法。

一旦你记住了这些符号，代码就变得非常简洁。

APL的核心就是数组，它甚至可以叫做“Array Programming Language”。

我们回过头来说艾弗森，他“黯然”离开哈佛大学以后，加入了IBM的研究院，薪水也翻了一番。

在IBM，弗雷德·布鲁克斯（System/360架构师，图灵奖获得者，《人月神话》作者）建议他：坚持做你真正想做的事情，管理层非常需要新想法，只要不是非常疯狂的想法，都会得到支持。”

于是艾弗森就继续发展自己在哈佛大学创建的符号系统，这一发展不得了，竟然变成了一门计算机编程语言。

1964年，IBM推出著名的大型机System/360，APL也在System/360上实现了。

当时的编程语言，基本上都是批处理的，就是说把代码输入计算机，“等半天”后查看运行结果。

但是APL是一套完整的交互式编程环境，程序员可以输入 APL 语句并立即得到响应。

程序可以在数十人同时使用的计算机上定义、调试、运行和保存。

对于许多曾经饱受使用打孔卡进行批处理编程之苦的程序员来说，APL绝对是一大福音。

IBM肯定不会放过这样的商业机会，开发了很多软件和库，吸引用户使用APL，比如

Starmap ：一组绘制恒星和行星位置的函数

IBGS：交互式商业模拟游戏

Graphpak：交互式图形包

MINIPERT：项目管理的关键路径方法 (CPM) 系统

APL 财务规划系统

APL 计量经济学规划语言

......

一旦掌握APL，编写程序的速度就非常快，这让它在建模和原型方面有重要价值。

1973年，Continental Can公司需要给旗下的21家制造厂提供一个库存管理程序，他们的FORTRAN程序员干了一年也没搞定，后来STSC公司的一个销售出马，用APL Plus一周内就把一个可用的工作模型给弄好了。

可以说，在20世纪60年代末到80年代初的大型机上，APL编程语言占有重要的一席之地。

1980年，在IBM工作了20年的艾弗森离开IBM，回到加拿大，加入IP Sharp Associates公司，从事APL语言的咨询和服务工作。

1990年，为了解决APL中的特殊字符问题，艾弗森和华裔科学家Roger Hui一起发明了J语言，J语言完全使用基本ASCII字符集。

80年代以后，随着个人计算机的兴起，Basic、Pascal、C语言等新贵开始统治市场，APL慢慢地退居到了科学计算、统计、保险精算和金融等领域，APL的符号性质和数组功能使其受到领域专家和数据科学家的欢迎，他们不具备程序员的技能。

那么，都2024年了，APL值得我们去了解吗？

首届图灵奖获得者Alan J. Perlis说过：一门语言如果不能影响你编程的思维方式，是不值得了解的。

而APL就是一门能影响你编程思维的语言，强烈建议去Try APL网站去玩一下。