类型提示已经提出2年多了：https://www.python.org/dev/peps/pep-0483/
虽然该提案现在已被接受。看来即使是Python的内置核心库也根本没有利用这个功能/语法。
有人知道为什么 Python3 的内置库不转换为类型提示吗？它应该使代码更加健壮，对吧？那么为什么不使用它呢？
或者是否有计划将核心库的当前代码迁移到带有类型提示的代码？
Python 的标准库是类型化的，只是不是直接类型化的。负责此操作的库称为
typeshed
除了默认情况下随所有类型检查器附带的stdlib部分之外，它还单独包含-
pip install
PyAutoGUI
Pygments
boto
cffi
类型存根
也就是说，考虑到 PEP 484 有 this note：
还应该强调的是，Python仍将是一种动态类型语言，即使按照惯例，作者也不希望强制类型提示。