Python之父是如何从TypeScript“抄”设计想法的

图0:Python之父是如何从TypeScript“抄”设计想法的

作者:Nick Heath  译者:无明

最近,在西雅图举行的 PuPPy 慈善活动上,Van Rossum 谈到了 Python 的早期发展史以及他对 Python 未来的看法。

Van Rossum 说,Python 类型注解的设计灵感来自 TypeScript。他说:

”我觉得 TypeScript 非常有用,所以我们在 Python 也加入了一些与 TypeScript 类似的功能。但因为我们的环境不一样,所以实现的方式有所差异“。

在活动结束后,Van Rossum 确认了他之前所说的 TypeScript 特性就是指可选的类型检查。

类型检查功能可以帮助开发人员发现某些类型的错误,避免让它们潜入到软件系统中。在使用静态类型语言时,开发人员在声明一个函数时通常会指定函数参数的变量类型,例如使用 int 来指定一个整数类型,或者使用 str 来指定一个字符串类型。而在使用动态类型语言时,开发人员不需要指定函数参数类型,这种设计是为了减轻开发人员的负担。

不过,Van Rossum 表示,对于大型项目的代码库来说,动态类型并不好。他说:

”对于小型程序,动态类型非常不错。但对于大型程序,你必须要有一些训练有素的方法,而如果语言本身能够提供这些就好了“。

虽然 Python 仍然是一门动态类型语言,但在 2015 年,Python 3.0 增加了类型提示功能,开发人员可以通过注解来检查传给函数的参数类型是否正确(可用的类型检查器有:https://mypy-lang.org/)。

这些注解是可选的,开发人员可以将动态类型和静态类型结合起来,并且不会影响代码的执行速度。除了类型提示(PEP 484),Python 还引入了一系列其他特性(PEP 526、PEP 544、PEP 561、PEP 563),为类型检查提供了各种钩子。

在之前的一次演讲中,Van Rossum 介绍说,Dropbox(他在这家公司担任首席工程师)从 2015 年开始在 Python 代码库中引入类型注解,到了 2018 年,600 万行代码中有 200 万行已经添加了类型注解。

Python 的类型提示功能也被很多其他公司所采用,包括 Facebook、Quora 和 Lyft。类型检查器也开始使用类型提示来验证 Python 类型。

Van Rossum 说,TypeScript 提供了类似的类型注解,类型检查器可用这些注解来验证类型。类型注解是 TypeScript 吸引开发人员用它来开发大型应用程序的有用特性之一。

TypeScript 作者 Anders Hejlsberg 也参加了 PuPPy 活动,他坚信类型系统确实”戏剧性”地提升了开发人员的生产力。他说:

“我确信你们已经都习惯了表达式自动完成、重构、代码导航等功能。而促成这些功能的是代码语义,而能够提供代码语义的是具有类型系统的编译器”。

“在加入类型之后,你就可以极大地提升生产力,有时候甚至会出乎你的意料”。

“我曾经认为动态语言更容易使用,因为你不需要一直为各种类型绞尽脑汁。但事实上,如果你能够以非侵入式的方式使用类型,或者做好类型推断,那么类型无疑会极大地提升你的生产力”。

本文文字及图片出自 微信公众号

你也许感兴趣的:

发表回复

您的电子邮箱地址不会被公开。 必填项已用 * 标注