编程语言之父谈语言设计,龟叔大赞TypeScript

争论哪门编程语言孰优孰劣,长期以来都是程序员乐此不疲的“娱乐活动”。之所以说是娱乐活动,因为这些争论到***往往只是各自在发泄情绪,再则就是,脱离使用场景去讨论所谓哪门语言更好并没意义。

但如果让编程语言作者坐在一起讨论编程语言会产生怎样的反应,水平是否会比我们高到不知哪里去?

本月初由西雅图 Python 开发者举办的首届年度慈善活动(Puget Sound Programming Python, PuPPy)邀请到了 Java, Python, TypeScript 和 Perl 创始人共同讨论编程语言设计的过去和未来。

PuPPy 活动旨在为 Computer Science for All (CSforALL) 筹集资金,该组织致力于使计算机课程成为教育中不可或缺的一部分。

参与本次讨论的嘉宾为四位编程语言创始人,分别是:

  • Guido van Rossum,Python 作者

  • James Gosling,Java 作者和***设计师

  • Anders Hejlsberg,Turbo Pascal 编译器的主要作者,Delphi、C# 和 TypeScript 开发者

  • Larry Wall,Perl 作者

编程语言之父谈语言设计,龟叔大赞TypeScript

活动中这四位编程语言之父的谈论主题包括设计编程语言的主要原则、编程语言的类型系统、编程语言的可维护性和编程语言设计的未来。

下面不妨看看这些开山鼻祖级别的大牛,对编程语言设计有怎样的看法。

设计编程语言的主要原则

在讨论这个话题时,Python 之父 Guido van Rossum 认为,设计编程语言与 JK罗琳写《哈利波特》有许多共通之处,罗琳为整部小说打造的架构是天才的操作,她在***本书中描写的某些细节在第六和第七本中成了重要的情节。这和设计编程语言一样 —— 需要关注某些细节,比如关键字和编码风格。但无论决定什么都必须保证在未来找到使用这些细节的新方法,就像JK罗琳一样。

Java 作者 James Gosling 被问到 Java 遵守的设计原则时表示,Java 并不是由个人热情驱动的项目,最初只是计划构建一个原型(当时 Gosling 和他的团队正在进行一个涉及嵌入式系统领域的项目,Gosling 负责从编程语言的角度来简化工作),一开始只是希望要做得比 C 语言更好,然而后来失控了,项目的其它部分变成了某种背景,最终只留下 Java。它基本上是为了帮助开发者解决关于数据的问题,这些问题往往是因较差的网络、安全性和可靠性而导致。

Perl 作者 Larry Wall 称自己是“语言学家”而不是计算机科学家,他希望创造出类似自然语言的语言。对此,Larry Wall 举了一个例子进行解释,与其让人们进入大学校园去决定他们走向何处,倒不如通过观察他们想走的路,然后在这些地方铺设捷径。Perl 的基本设计原则是为所有事物都提供 API,目标是成为出色的文本处理语言,同时也是胶水语言。

Anders Hejlsberg 表示他参与开发编程语言的过程中都会遵守一个原则:「一个方法只做一件事」。Hejlsberg 认为过多的方法很可能会导致误入歧途,并在开发后期才会意识到问题。与 Guido 的观点类似,Hejlsberg 也认为在设计编程语言时,所做的任何决定都必须进行全局考虑,与之共存的理念理应贯穿整个开发过程。

编程语言的类型系统

Java 之父 Gosling 表示在打造 Java 的雏形时就已重点关注性能问题,而提高性能的一个关键因素就是类型系统,这对构建优化编译器和提前进行正确性检查等问题非常有用。

Hejlsberg 将类型系统视为“工具性”的功能,开发者喜欢 IDE 提供的代码补全、重构和代码导航这些功能,而这背后都离不开具有类型系统的编译器。Hejlsberg 也不认为编程语言添加了类型系统就能提升开发者的生产力,他觉得开发者使用动态语言,然后以非侵入性方式来添加类型特性反而能提高开发效率。

编程语言的可维护性

Guido 认为,如果希望编程语言具有可维护性,在灵活和规范的方法之间保持平衡非常重要。动态语言对于开发小型项目非常有用,但大型项目需要采用严格的类型检查,因此如果编程语言本身能够实现这种平衡就***不过了。这就是为什么 Guido 计划在 Python 中添加类似 TypeScript 的技术。

除了类型系统,重构引擎对编程语言的可维护性也至关重要,通过它可以更容易地同时执行数百万行代码的大规模重构。Hejlsberg 表示 TypeScript 的起源正是日益庞大的 JavaScript 代码库,代码库越大,维护它们就变得越加困难,这些代码逐渐成了 “write-only code”。为了易于重构,需要对代码进行语义理解,而这些语义理解的工作恰好需要一个类型系统。

编程语言设计的未来

相关推荐