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

编程语言的优劣，一直众说纷纭。倘若编程语言的创造者们相聚一起共谈自己所设计的语言，是否又会掀起一番“腥风血雨”？
其实就在近日，Python 创始人 Guido van Rossum、Java 创始人 James Gosling、C# 创始人 Anders Hejlsberg、Perl 创始人 Larry Wall 四位技术大拿相聚西雅图，共同探讨编程语言的设计与未来发展。

 
 
4月初，在Puget Sound Programming Python（简称PuPPy）举办的第一届年度慈善活动中，四位传奇的编程语言创始人聚集在一起就编程语言设计的过去和未来展开了热烈的讨论。此次活动旨在为面向所有人的计算机科学教育（Computer Science For All，美国前总统奥巴马当年年初提出的新计划，旨在美国教育体系中普及计算机科学）筹集资金。
 
争论哪门编程语言孰优孰劣，长期以来都是程序员们乐此不疲的“娱乐活动”。之所以说是娱乐活动，因为这些争论到最后往往只是各自在发泄情绪，再则就是，脱离使用场景去讨论所谓哪门语言更好并没有什么意义。
 
但是如果让编程语言作者坐在一起讨论编程语言会产生怎样的反应，水平是否会比我们高到不知哪里去？
本月初由西雅图 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 作者
 
活动中这四位编程语言之父的谈论主题包括设计编程语言的主要原则、编程语言的类型系统、编程语言的可维护性和编程语言设计的未来。
 
此次讨论会由Carol Willing主持，目前她是Jupyter项目的指导委员会成员和开发人员。她还是首届Python指导委员会成员，Python软件基金会研究员和前任主任。
 
下面不妨看看这些开山鼻祖级别的大牛，对编程语言设计有怎样的看法。
 
设计编程语言的主要原则
 
小组成员提出的第一个问题是：“编程语言设计的原理是什么？”
 
在讨论这个话题时，Python 之父 Guido van Rossum 认为，设计编程语言与 JK罗琳写的《哈利波特》有许多相似之处，罗琳为整部小说打造的架构是天才的操作，她在第一本书中描写的某些细节在第六和第七本中成了重要的情节。
 
这和设计编程语言一样 —— 需要关注某些细节，比如关键字和编码风格。但无论决定什么都必须保证在未来找到使用这些细节的新方法，就像JK罗琳一样。
 
Java 作者 James Gosling 被问到 Java 遵守的设计原则时淡淡地表示，Java的出现并不像个人热爱的项目那样。其实我们只是想试着建立一个原型（当时 Gosling 和他的团队正在进行一个涉及嵌入式系统领域的项目，Gosling 负责从编程语言的角度来简化工作），一开始只是希望要做得比 C 语言更好，然而后来失控了，项目的其它部分变成了某种背景，最终只留下 Java。
 
它基本上是为了帮助开发者解决关于数据的问题，这些问题往往是因较差的网络、安全性和可靠性而导致。
 
Perl 作者 Larry Wall 称自己是“语言学家”而不是计算机科学家，他希望创造出类似自然语言的语言。对此，Larry Wall 举了一个例子进行解释，与其让人们进入大学校园去决定他们走向何处，倒不如通过观察他们想走的路，然后在这些地方铺设捷径。Perl创建背后的一项基本原则是通过API提供一切功能。这种编程语言的目标不仅是建立一种优秀的文本处理语言，而且也想成为一种胶水语言。
 
Larry Wall 进一步说，虽然在90年代Perl非常稳定，但也确实存在一些问题。因此，2000年的时候，Perl团队决定打破一切，并提出了一套全新的设计原则。而且，他们还根据这些原则，重新设计出了Perl 6。其中一些原则做出了正确的选择——保守地使用括号，否则算上Unicode的括号也不够用；无需蹩脚地重新发明面向对象等等。
 
他还补充说，
 
“大量的重新设计就像是说，我们该用哪根柱子支撑一切？新的设计是面向对象的吗？是在词法作用域内重新设计，还是在更大的范围内？每片信息的正确的支柱是什么？如果我们根本没有支柱的话，该如何创建？”
 
Anders Hejlsberg 表示他参与开发编程语言的过程中都会遵守一个原则：「一个方法只做一件事」。Hejlsberg 认为过多的方法很可能会导致误入歧途，并在开发后期才会意识到问题。与 Guido 的观点类似，Hejlsberg 也认为在设计编程语言时，所做的任何决定都必须进行全局考虑，与之共存的理念理应贯穿整个开发过程。
 
与Guido van Rossum的观点相似，他进一步补充说，在设计一种编程语言的时候，无论你做出怎样的决定，都必须坚持到底。在设计编程语言的时候，你需要谨慎地决定“不”将哪些东西引入到这种编程语言中。通常，人们会向你提出他们的建议，但你无法真正改变编程语言的本质。虽然你无法真正改变语言的基本性质，但是你可以进行扩展。基本上你有两个选择：要么坚持语言的本质，要么开发一个新的编程语言。
 
编程语言的类型系统
 
Java 之父 Gosling 表示在打造 Java 的雏形时就已重点关注性能问题，而提高性能的一个关键因素就是类型系统，这对构建优化编译器和提前进行正确性检查等问题非常有用。
 
Hejlsberg 将类型系统视为“工具性”的功能，开发者喜欢 IDE 提供的代码补全、重构和代码导航这些功能，而这背后都离不开具有类型系统的编译器。Hejlsberg 也不认为编程语言添加了类型系统就能提升开发者的生产力，他觉得开发者使用动态语言，然后以非侵入性方式来添加类型特性反而能提高开发效率。
 
编程语言的可维护性
 
Guido 认为，如果希望编程语言具有可维护性，在灵活和规范的方法之间保持平衡非常重要。动态语言对于开发小型项目非常有用，但大型项目需要采用严格的类型检查，因此如果编程语言本身能够实现这种平衡就最好不过了。这就是为什么 Guido 计划在 Python 中添加类似 TypeScript 的技术。
 
除了类型系统，重构引擎对编程语言的可维护性也至关重要，通过它可以更容易地同时执行数百万行代码的大规模重构。Hejlsberg 表示 TypeScript 的起源正是日益庞大的 JavaScript 代码库，代码库越大，维护它们就变得越加困难，这些代码逐渐成了 “write-only code”。为了易于重构，需要对代码进行语义理解，而这些语义理解的工作恰好需要一个类型系统。
 
他补充说，因此我们需要理解代码的语义，而这个过程也降低了重构工作的难度。他表示：“这种语义的理解需要一个类型系统，而且在你开始添加类型系统时，你还可以添加代码的文档。”Wall也支持“良好的词法作用域有助于重构”的观点。
 
编程语言设计的未来
当被问及编程设计的未来时，James Gosling 分享了一个尚未充分探索的领域 —— 为 GPU 编写代码。他特别指出目前尚没有任何编程语言可以像 GPU 那样工作，而在该领域有很大的发展空间。
 
TypeScript 核心开发者 Anders Hejlsberg 表示，编程语言的发展速度不会像硬件或其他技术一样快，在演进方面，编程语言更像是数学和大脑。因为直到今天，我们还在用 50 年前发明的语言在编程，而函数式编程的原则几乎也都是在 50 年前提出的。另外，Hejlsberg 也认为不能将简单地把语言分为面向对象或函数式编程这样的单独类别，因为现代编程语言正逐渐成为多范式编程语言。
 
更多详细内容，请点击这里观看PuPPy的此次谈话视频（需科学上网）https://www.youtube.com/watch?v=csL8DLXGNlU
 

编译：进口香蕉
来源：https://ti.to/puppy/CSforALLtechinclusion/en来源：https://hub.packtpub.com/creat … uppy/