Python、Java、C#、Perl 创始人聚首畅谈编程语言的未来

4 月初，在 Puget Sound Programming Python（简称 PuPPy）举办的第一届年度慈善活动中，四位传奇的编程语言创始人聚集在一起就编程语言设计的过去和未来展开了热烈的讨论。此次活动旨在为面向所有人的计算机科学教育（Computer Science For All，美国前总统奥巴马当年年初提出的新计划，旨在美国教育体系中普及计算机科学）筹集资金。

与会的小组成员包括以下流行编程语言的创始人：

• Guido van Rossum：Python 的创始人；
• James Gosling：Java 编程语言的创始人兼首席设计师；
• Anders Hejlsberg：Turbo Pascal 的原作者，他也致力于 C# 和 TypeScript 的开发；
• Larry Wall：Perl 的创始人。

此次讨论会由 Carol Willing 主持，目前她是 Jupyter 项目的指导委员会成员和开发人员。她还是首届 Python 指导委员会成员，Python 软件基金会研究员和前任主任。

编程语言设计的关键原则

小组成员提出的第一个问题是：“编程语言设计的原理是什么？”

Guido van Rossum 认为：

编程语言的设计与 J·K·罗琳撰写她的哈利波特系列丛书的方式非常相似。

他解释说，J·K·罗琳是一个天才，她在第一本哈利波特书中提到的一些细节与第六和第七本书中重要的情节相呼应。

在解释这与编程语言设计之间的关系时，他表示：“在编程语言设计中亦是如此，我们需要做到首尾呼应。”在设计编程语言时，首先我们会承诺某些细节，例如我们想要使用的关键字，我们想要遵循的编码风格等等。但是，无论我们做了何种决定，都必须坚持到底，将来我们需要像 J·K·罗琳一样，找到使用这些细节的新方式。

他补充说道：“一方面，在设计编程语言的工作中，最开始你要做出一系列的选择，为你的故事发展埋下伏笔。另一方面，设计编程语言的艺术在于，你需要不断回顾你的故事，并展开奇思妙想，以你始料未及的方式推进故事发展。”

当谈论到 James Gosling 创建 Java 的过程，以及他所遵循的设计原则时，他只是淡淡地说：“Java 的出现并不像个人热爱的项目那样。其实我们只是想试着建立一个原型。”当时，James Gosling 和他的团队开展了一个涉及嵌入式系统领域的项目。为此，他们与许多为嵌入式系统构建软件的开发人员进行了交谈，并了解了他们的工作流程。

该项目大约有十几个人，Gosling 负责从编程语言的角度来尽量简化项目。他补充说：“最初我们只想做比 C 更好的东西，但是后来就失去了控制，最终项目的其余部分只是提供了素材。”唯一从该项目中幸存了下来的就是“Java”。基本上该编程语言就是为了解决身居数据中心之外的人的问题，这些人常常为网络、安全性和可靠性等问题困扰。

Larry Wall 觉得自己更像“语言学家”，而不是计算机科学家。他想创造一种更接近自然语言的编程语言。他举了一个例子：“就好像我们不必让每个人都走进大学校园才能决定他们各自的去向，我们可以观察人们想去哪里，然后设置通向这些地方的捷径。”Perl 创建背后的一项基本原则是通过 API 提供一切功能。这种编程语言的目标不仅是建立一种优秀的文本处理语言，而且也想成为一种胶水语言。

Wall 进一步说，虽然在 90 年代 Perl 非常稳定，但也确实存在一些问题。因此，2000 年的时候，Perl 团队决定打破一切，并提出了一套全新的设计原则。而且，他们还根据这些原则，重新设计出了 Perl 6。其中一些原则做出了正确的选择——保守地使用括号，否则算上 Unicode 的括号也不够用；无需蹩脚地重新发明面向对象等等。

他补充说，

“大量的重新设计就像是说，我们该用哪根柱子支撑一切？新的设计是面向对象的吗？是在词法作用域内重新设计，还是在更大的范围内？每片信息的正确的支柱是什么？如果我们根本没有支柱的话，该如何创建？”

Anders Hejlsberg 表示，他遵循了他所接触过的所有编程语言的共同原则，即“做某件事情的方法只有一种。”他认为，如果开发人员有四种不同的方法，那么最终很有可能会选择错误的道路，而且要过很久才能在开发中意识到这个错误。根据 Hejlsberg 的说法，这就是为什么开发人员总是会创建一种名为“简单的复杂”的东西，也就是说拿到一些复杂的东西后，通过简单的打包来掩盖复杂性。

与 Guido van Rossum 的观点相似，他进一步补充说，在设计一种编程语言的时候，无论你做出怎样的决定，都必须坚持到底。在设计编程语言的时候，你需要谨慎地决定“不”将哪些东西引入到这种编程语言中。通常，人们会向你提出他们的建议，但你无法真正改变编程语言的本质。虽然你无法真正改变语言的基本性质，但是你可以进行扩展。基本上你有两个选择：要么坚持语言的本质，要么开发一个新的编程语言。

编程语言的类型系统

在谈论到 Python 决定类型的方法时，Guido van Rossum 分享了 Python 首次推出时的一个故事。起初，int 不是一个类，实际上它是一个转换函数。后来，Guido 意识到这是一个错误。“我们有很多这样的功能，我们意识到我们犯了一个错误，我们向用户提供了与内置对象类型不同的类。”

于是，Python 团队决定重新构建 Python 的整个类型，并进行了大量的清理。因此，他们将函数 int 更改为类 int 的指定符。现在，调用这个类意味着构造该类的实例。

James Gosling 表示一直以来他都很注重性能，而提高性能的一个因素是类型系统。在构建优化编译器和提前检查正确性等方面，类型系统非常实用。拥有类型系统也有助于为小型设备构建系统的情况。他说：“为了能在有限的空间内工作，你必须了解设备提供的每一种可能性，而且你知道得越早，就越有可能出色地完成工作。”

（编辑：常州站长网）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!