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 活动，他坚信类型系统确实”戏剧性”地提升了开发人员的生产力。他说：

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

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

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

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

你也许感兴趣的：

发表回复

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