移动站源标题：http://mip.818114.com/article/item-110454.html
前几天，我读了这篇“ 20 种有史以来最重要的编程语言”，这是一张“我刚刚编出来的荒谬的表格”。它之所以荒谬，是因为他列出的“最重要的”语言中包含了 Go，但没有包含 ALGOL、Smalltalk 或 ML。他也没有提到 Pascal，因为它“基本上已经消亡了”。荒谬！这完全违背了“有史以来最重要”的含义。,那么，让我们来讨论一下那些“几乎已经消亡”的语言，以及它们如此重要的原因。,免责声明：是的，不是所有这些都已经消亡了，也不是所有这些都被遗忘了。就像大多数人一样，是听说过 Smalltalk 的，对吧？此外，这可能还会出现上亿个错误，因为当你对 60 年的计算机历史进行调查时，你总会犯一些错误。如果你发现什么错误，可随时大声指责我！,免责声明 2：是的，我知道其中一些是“首个发明”的，而另一些是“首个普及”的。历史很复杂！,在开始之前，先简单介绍一下如何寻找影响力。仅仅知道 X 是首个具有 Z 特性的语言并不意味着 X 实际上影响了 Z。虽然 Absys 可以说是首个逻辑编程语言，但几乎所有的逻辑编程实际上都是源于 Prolog 了，后者是独立开发的。最终，只有一种方法可以确定 X 影响了 Y：引用。这意味着：,引用是可传递的。有时，Q 语言的手册会列出激励性文献 R，其中 R 引用了论文 S 作为灵感，并提到 S 的灵感是从语言 T 那里得到的。那么，我们就知道 T 影响了 Q，即使这个链条有好几个步骤。这意味着需要通过多种途径寻找信源。为了加快速度，我们使用启发式的方法来决定在哪里查找。,一种有效的启发式方法是编程语言的同根词。对于语言来说，独立地提出相同的语法是非常罕见的。因此，如果两种语言某种语法相同，则其中一种可能会影响另一种。例如：即使没有阅读 Matz 的设计决策，我们也知道 Ruby 受到了 Smalltalk 的影响，因为它们都使用 select 方法过滤列表。这不是确凿的证据。也许它是 Matz 独立开发出来的，也许 Ruby 和 Smalltalk 都受到共同祖先的影响。但这给了我们一个开始寻找的方向。,背景：CODASYL，1960 年。COBOL 是由计算领域的商业 / 科学分裂形成的。那时，高级工业语言要么用于工程计算，要么用于管理数据。工程师们都支持 FORTRAN，而商业世界却是一团乱码，充斥着诸如 COMTRAN、FLOW-MATIC 等语言，因此，国防部成立了一个委员会，共同制定了一种通用的商业语言。那就是 COBOL。,COBOL 与 ALGOL、FORTRAN 和 LISP 一起构成了四种“母”语。今天，虽然我们认为它是小语种，但它曾经是世界上最流行的语言。我们的许多遗留商业系统仍然在其上运行着。,重要意义：就语法和语义而言，我们在现代计算中很少看到 COBOL 了。 COBOL 最重要的附加功能是提出了记录数据的概念。在 FORTRAN 和 ALGOL 中，唯一的数据结构是静态数组。但是，在 COBOL 中，我们可以读取包含分层数据的结构化文件，它会自动将这些文件解构为代表变量。它是现代结构体的先驱。,消亡原因：这里有两个因素。一：COBOL 与其他 PLT 所做的工作没有重叠。很少有人会基于 COBOL 进行构建。这意味着，建立在祖先教训之上的第二代或第三代语言几乎没有 COBOL 基因了。这不是 COBOL 的本质问题，更多的是因为学术界对 COBOL 的创建过程不屑一顾。CODASYL 是一个商业团体，显然它不值得关注（1）。即使是对于今天的语言来说，COBOL 也是非常复杂的。这意味着 COBOL 编译器在微型计算机和微型电脑上落后于同时代的编译器，为其他语言的繁荣并最终超越它提供了空间。,背景：ALGOL 委员会，1960 年。ALGOL-58 早在两年前就问世了，但很快就被取代了，因此我将它们组装在一起。该委员会想为算法研究提供一种良好的语言。换句话说，ALGOL 是一种形式化的“伪代码”。,在四种母语中，ALGOL 是最早“消亡”的语言。大家仍然知道 LISP（2） ，COBOL 仍然为大量的遗留系统提供支持，并且大多数科学软件包仍然具有 FORTRAN。但是我见过很多程序员，他们甚至都没有听说过 ALGOL。你可能会认为它是最不重要的母语了，但事实恰恰相反。在这四种母语中，只有 LISP 可以与 ALGOL 的普遍重要性相提并论。,重要意义：让我们来看一下：词法作用域、结构化编程、嵌套函数、形式化语言规范、按名称调用语义、BNF 语法、块注释……今天的每一种现代语言都深受 ALGOL 的影响。,消亡原因：ALGOL 是一种研究语言，而不是商业语言。它是专为算法研究而设计的。规范没有定义任何 I/O，这使得它在实践中无法使用。当然，你可以编写一个编译器扩展，但是你还需要添加更多其他的东西。,人们就是这么做的。 196百思特网0 年，有 70 人通过用 I/O 和额外的数据结构来扩展 ALGOL，开发了大量的类似 ALGOL 的语言。这包括 JOVIAL、SIMULA、CLU 和 CPL。后来的语言都是基于这些类 ALGOL 语言而不是直接基于 ALGOL 进行扩展的。我们称 C 为“类 ALGOL（ALGOL-like）”，但实际上它是“类 BCPL（BCPL-like）”，也就是“类 CPL（CPL-like）“，即为类 ALGOL。 ALGOL 的孩子们把它埋没了。,最终，ALGOL 人试图将其扩展到 ALGOL-68，而 ALGOL-68 完全脱离了 ALGOL-60，但它并没有获得那么大的影响力。 ALGOL-60 的血统通过 Nikolaus Wirth 的 Pascal 仍在延续。,背景：Ken Iverson，1962 年。最初它是一种用于数组数学的手写表示法，后来 IBM 将其作为编程语言使用。作为一种语言，APL 专注于数组处理：它能够精确地处理大数字块。,如果你以前曾听说过 APL，则可能知道它是“那种奇怪的符号语言”。最臭名昭著的代码片段之一就是这个“生命游戏（the Game of Life）”的实现：,必须使用专用的键盘来编写它，就像这样：,
,APL 键盘（来源）,尽管如此，APL 因其内存需求低而在大型机上广受欢迎。,重要意义：数组处理。每次将两个数字列表相加就意味着需要一个映射或一个循环，APL 引入了同时操作整个数组的概念。例如：,
,这在科学界确实是一件大事。如此多的应用数学都可归结为对大型矩阵的大规模运算。当你可以把外部产品 ∘.f ，外部产品就很容易拿到了！,通过这一创新，APL 引出了 R、numpy、pandas、Matlab 等。APL 的直系后代还包括：J、Dyalog、K、Q。它们虽然没有那么成功，但在金融领域仍然有大量的应用。,消亡原因：很明显，问题在于键盘。如果你无法使用 ASCII 进行编写，那么你就不能编写太多的内容。Iverson 用 J 修复了该问题，J 使用了有向图来代替不同的符号。编写~:，而不是≠。不过，那是在 1990 年，要普及一种完全不同的编程风格还是为时已晚了。,更微妙的问题在于，APL 和 J 仅适用于同构数据的处理。不能将字符串和数字都存储在同一个数据结构中（除非你使用 box，这是一个完整的“蠕虫罐头”），并且处理字符串通常是一场噩梦。因此没有数据帧，这就将许多现代数据科学排除在外了。,扩展阅读：作为思想工具的符号。,背景：John Kemeny，1964 年。最初它是一种简化了的类 FORTRAN 语言，旨在帮助工程技术以外的人们使用计算机。,BASIC 的真正腾飞是在微型计算机时代。最初的微型计算机没有足够的内存来编译“真正的”编程语言，而我们可以把 BASIC 编译器精简到大约 2 KB。 BASIC 成为了早期程序员的通用语言。在 20 世纪 70 年代，如果你在家编程，那么你可能是在微型计算机上编写 BASIC。,重要意义：其最大的技术影响力在于运行时解释器。 BASIC 是首个具有实时解释器（ the Dartmouth Time Sharing System，达特茅斯时间共享系统）的语言，领先了 APL 一年。而且 APL 系统仅面向 IBM 客户，因此，在很长一段时间内，实时解释器就是 BASIC 的，或是不存在的。（3）,BASIC 有更大的社会影响力。它为家庭，尤其是孩子们带来了编程。 在 80 年代和 90 年代，许多有影响力的程序员首先学习的都是如何使用 BASIC 编程。许多企业程序也是用 BASIC 编写的，这可能加速了 Cobol 的衰落。,BASIC 还有一个妙招：Office 工具！微软最终将 BASIC 变成了 Visual Basic，并将其用作 Office 的宏语言。之后，将它扩展到了 OpenOffice 和 LibreOffice，从而巩固了 BASIC 在特定利基市场的地位。最近，它已被 JavaScript 取代，现在成为了一种遗留的宏语言。,消亡原因：人们认为 BASIC 是一种“次要”的语言。如果你是个小孩或小企业主，你可能会使用它，但是真正的程序员使用的是真正的语言。一旦制造商可以廉价地制造出具有超过 16k 内存的微型计算机时，他们就开始会为了 Pascal 和 C 而贬低 BASIC 了。,BASIC 作为一种遗留的语言教学方式在孩子们的生活中延续了一段时间，但似乎也已经消失在这个利基市场之外了。,** 背景：IBM，1966 年。IBM 的业务被分成两种语言：科学家使用 FORTRAN，商业人士使用 COMTRAN。面对来自 COBOL 的竞争，为了简化系统，他们试图开发一种对工程和商业都有用的语言。它看起来像是两种语言的超集，在顶部还添加了许多附加功能。（4）** 现在每个人都可以使用相同的语言了，并且 IBM 可以赚很多钱！耶！,重要意义：ALGOL-68 的作者嘲笑 PL/I，将其称为过时的语言。但是 ALGOL-68 所做的每件事情，PL/I 都能做得更快更好。虽然 COBOL 是首个提出结构化数据的，但 PL/I 是首个将其作为类型实现的语言。在 COBOL 中，使用名称读取用户会用到两个全局变量：user 和 name。在 PL/I 中，可以使用一个带有 user.name 字段的变量。 PL/I 还是首个使用了指针操作直接内存、使用了常量和函数重载的高级语言。（5）,这些概念中有许多是通过 C 进入主流编程的，C 是 BCPL 和 PL/I 的结合体。 C 甚至使用了 PL/I 的注释语法。,消亡原因：所有的 FORTRAN 程序员都认为它太像 COBOL 了，而所有的 COBOL 程序员都认为它太像 FORTRAN 了。 IBM 曾试图用一种语言来处理这两种既定的语言，但这种语言要复杂得多。他们是唯一使用编译器的团队，但这也无济于事，这意味着其他所有人都不信任厂商锁定。当 IBM 能够在这两个问题上取得进展时，更广阔的计算世界已经进入到了微型计算机时代，在那里 PL/I 被 BASIC 淘汰了。,扩展阅读： PL/I 的选择。,背景：Ole Dahl 和 Kristen Nygaard，1967 年。他们扩展了 ALGOL 来进行仿真。首先，他们开发了 SIMULA I，它具有专用的仿真器和“活动”语法。 SIMULA I 获得了一些早期的应用，但是两人对该语言的“专业化”程度以及在仿真中存在的大量重复代码感到不满。他们希望创建一个更通用的框架来表示一般事物，而不仅仅是仿真。,他们的想法是允许用户使用多态函数解析来定义称之为“类”的新类型。然后，用户可以将仿真特性作为对象系统中的一个特例来进行构建，从而用户就可以轻松根据自己的特定需求来定制对应的仿真特性了。,重要意义：虽然 SIMULA 并不是首个“真正的” OOP 语言，但它是首个具有适当对象的语言，并为其他语言的构建奠定了基础。这包括类 / 对象的拆分、子类、虚拟方法和受保护的属性等。 它几乎启发了所有 1967 年之后的关于对象的学术研究。CLU 和 ML 都将 SIMULA 作为其主要灵感的来源。 Bjarne Stroustroup 在 SIMULA 上完成了他的博士学位，最终将它的许多思想整合到了 C ++ 中。,消亡原因：在同一份博士论文中，Stroustroup 声称 SIMULA 太慢了，无法大规模使用。 “如果你不在大型机上工作，那么祝你一切顺利”。值得一提的是，Smalltalk-80 采用了同样的思路，甚至更进了一步，它在背后还附加了 13 年的摩尔定律。甚至 Smalltalk 也常常被嘲笑太慢了。每个人都在 SIMULA 中实现了他们可以集成到更快、更简单的语言中的想法。,扩展阅读：编译 SIMULA：技术起源的历史研究，《SIMULA 的历史》。,背景：Niklaus Wirth，1970 年。在 ALGOL-68 的结构变得过于复杂，而不适合 Wirth 的喜好之后，他抓住了 ALGOL-60 的精髓从而开发了 Pascal。Pascal 最初是作为“ CS 入门”语言而发展起来的，到 80 年代初，它已成为了 Usenet 工作板上第二受欢迎的语言。Wirth 认为整个 Pascal、Modula、Oberon 家族是一个统一的语言概念。,重要意义：Pascal 没有引入任何全新的观点。它是一种刻意保守的语言，它试图挑选出过去十年最好的部分，并以一个统一的包来提供它们。 Pascal 将 ALGOL 语法带出了学术界，以至于 ALGOL 的赋值语法 := 被称为“Pascal 风格”。从这一点上来看，大多数看起来像 ALGOL 的语言特性很可能是受 Pascal 启发的，而不是直接受 ALGOL 本身启发的。,尽管 Pascal 并不是很有创意，但它的变体却很有创意。Wirth 还率先提出了“逐步细化”的概念，以作为编写严谨软件的一种手段。这最终导致了 Modula（推广了一级软件模块）和 Euclid（首个用于生产的形式化验证语言）的产生。,消亡原因：我在此称之为“加击”。与这个列表中的大多数其他语言不同，Pascal 没有重大的结构化障碍，也没有强有力的竞争对手。当然，它与 C 存在竞争关系，但在很长一段时间里，它仍然表现良好。人们通常将其归因于“为什么 Pascal 不是我最喜欢的语言”这篇论文，但这个答案太简洁了，而历史要复杂得多。另外，Delphi 在 TIOBE 和 PYPA 度量中仍然排名很高，因此它并没有像 SIMULA 一样完全消亡了。对 Pascal 陨落的准确分析比本文其余部分还要长的多。,扩展阅读：编程语言Pascal ， Pascal 及其继承者。,背景：Barbara Liskov，1975 年。Liskov 想要处理抽象数据类型。它就这样产生了。这就是 CLU 的全部原因。,重要意义：CLU 可能是人们从未听说过的最有影响力的语言。迭代器？ CLU。抽象数据类型？CLU。泛型？ CLU。异常检查？ CLU。,我们并没有采用相同的术语，因此它并不是 100％都来自于 CLU，但仍然如此。未来十年的每种语言规范都是对 CLU 进行命名的。 CLU 做了很多。,消亡原因：CLU 是一种展示性语言。Liskov 想让人们接受她的想法，而不是这种特定的语言。他们做到了：如今几乎所有的语言都应归功于 CLU。她一完成 CLU，便转到了 Argus，该项目本来是为了展示她关于并发的想法。它并没有采用几乎相同的方法，而且留下了很多需要挖掘的东西。,扩展阅读： CLU 的历史,背景：Robin Milner，1976 年 6 月，Milner 正在构建 LCF 校准器，这是首批校准器助手之一。如果采用正确的格式编写了一份证明，LCF 可以检查出它是否正确。为了帮助撰写证明，Milner 创建了一个基于健全数学形式的元语言，这在当时意味着严格的静态类型和高阶函数。最终，ML 被标准化为 Standard ML。,重要意义：ML 可以说是最古老的“代数编程语言”。有很多东西可以归因于 ML：代数数据类型、模块、类型化函数式编程。令人惊讶的是，它并不是第一次这样做的！设计第一个 ML 只是为了配合 LCF 的使用，它并不是一种通用语言，因此缺少了许多这类特性。随着人们开始更广泛地使用它，他们从其他研究语言中汲取了一些想法并将其纳入 ML。不过，一个非常重要的概念确实源于 ML：类型推断。 ML 是首个无需键入类型的静态类型语言，因为编译器会为你找出相应类型。这为类型化 FP 逃离学术界并进入生产应用铺平了道路。,ML 还极大地影响了现代定理的校验。 Isabelle、CVC3 和 Coq 的“程序”语言都是基于 ML 的。尽管近年来，FP 的 Haskell 分支变得越来越流行，但很多类型理论都是基于 ML 的。（7）,消亡原因：ML 具有许多有趣的特性，但人们关注它仅是因为它的类型推断。当时 ML 仍然是一种专用于定理校验的语言。 SML 与 Haskell 在同一年问世，Haskell 是一种“更纯粹”的类型化 FP 语言示例。,背景：Alan Kay，1972 年、1976 年和 1980 年。这有一个不断变化的目标。百思特网 Smalltalk-72 是首个，Smalltalk-76 将“面向对象编程”的概念引入到了更广阔的世界，而 Smalltalk-80 则被广泛采用。,Smalltalk 不是首个使用对象的语言，但它是首个提出“面向对象”的语言。区别在于，Simula 除了具有数字和布尔值等基本类型之外，还具有其他的对象，而在 Smalltalk 中，布尔值也是对象。如果你想了解更多，可以查看我写在这里的内容。,重要意义：我们有时认为 Smalltalk 是“真正的” OOP，而 Java 和 Python 之类的语言并不是“真正的” OOP，但事实并非如此。就像其他范式一样，OOP 是一个由许多不同影响所组成的巨大的混合体。但 Smalltalk 无疑是推广这一概念。如果你翻开 80 年代中期或 90 年代初期的任何一本关于 OOP 基础理论的书籍，它们都是建立在 Smalltalk 上的。许多人还将 Smalltalk 示例转换为 C++，少数人将使用另一种语言，但每个人都会使用 Smalltalk。,Smalltalk 还传播了对象可作为共享数据的概念，从而导致了 CORBA 的出现，并启发创建了可计算 Actor 模型。,消亡原因：人们普遍认为 Smalltalk 衰落，是因为人们改用了 C++。但这并不是真的。 Smalltalk 确实有一些问题，特别是它很难与其他工具交互，并且运行时性能很差。但是，即使到了 1990 年代，Smalltalk 仍在做着受人尊敬的生意，许多人认为它将成为一种占主导地位的商业语言。,
