学习Python模块typing及mypy类型注释

type notation 类型注释

PEP484作为基础框架，与多个相关PEP共同构建的类型提示体系，现阶段的推广程度仍较为有限，最近一次观察到其实际应用仍停留在Cython加速的场景中，且需依赖类型注解功能。

docstring主要面向人类读者编写，而type hint则更多地服务于机器解析。

通过这种方式，可以让IDE识别变量的具体类型，从而实现代码自动补全等功能。

然而，在程序运行过程中，这些类型信息会被过滤掉。

提及类型系统时，不可避免地要涉及静态语言与动态语言之间的优劣比较。参见（英文原文，中文翻译），相关研究指出静态语言在代码维护方面更具优势，这一结论也与reference2中所列举的类型提示所带来的好处相吻合：阅读代码的频率远高于编写代码，因此良好的可维护性显得尤为重要。

在像