最近，在西雅图举行的 PuPPy 慈善活动上，Van Rossum 谈到了 Python 的早期发展史以及他对 Python 未来的看法。
Van Rossum 说，Python 类型注解的设计灵感来自 TypeScript。他说：
”我觉得 TypeScript 非常有用，所以我们在 Python 也加入了一些与 TypeScript 类似的功能。但因为我们的环境不一样，所以实现的方式有所差异“。
在活动结束后，Van Rossum 确认了他之前所说的 TypeScript 特性就是指可选的类型检查。
类型检查功能可以帮助开发人员发现某些类型的错误，避免让它们潜入到软件系统中。在使用静态类型语言时，开发人员在声明一个函数时通常会指定函数参数的变量类型，例如使用 int 来指定一个整数类型，或者使用 str 来指定一个字符串类型。而在使用动态类型语言时，开发人员不需要指定函数参数类型，这种设计是为了减轻开发人员的负担。
不过，Van Rossum 表示，对于大型项目的代码库来说，动态类型并不好。他说：
”对于小型程序，动态类型非常不错。但对于大型程序，你必须要有一些训练有素的方法，而如果语言本身能够提供这些就好了“。
虽然 Python 仍然是一门动态类型语言，但在 2015 年，Python 3.0 增加了类型提示功能，开发人员可以通过注解来检查传给函数的参数类型是否正确（可用的类型检查器有：http://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 活动，他坚信类型系统确实”戏剧性”地提升了开发人员的生产力。他说：
“我确信你们已经都习惯了表达式自动完成、重构、代码导航等功能。而促成这些功能的是代码语义，而能够提供代码语义的是具有类型系统的编译器”。
“在加入类型之后，你就可以极大地提升生产力，有时候甚至会出乎你的意料”。
“我曾经认为动态语言更容易使用，因为你不需要一直为各种类型绞尽脑汁。但事实上，如果你能够以非侵入式的方式使用类型，或者做好类型推断，那么类型无疑会极大地提升你的生产力”。
https://www.techrepublic.com/article/the-creator-of-python-on-how-the-programming-language-is-learning-from-typescript/
点个在看少个 bug ?
文章评论