参考资料：
1. 使用 Mypy 检查 30 万行 Python 代码，总结出 3 大痛点与 6 个技巧！ https://zhuanlan.zhihu.com/p/564702012
2. 在大型项目上，Python 是个烂语言吗？ https://www.zhihu.com/question/21017354/answer/512897696
3. Professional-grade mypy configuration
4. Static types in Python, oh my(py)! Static types in Python, oh my(py)!
动态类型语言在开发阶段为开发者带来了诸多便利，但是随着项目不断地增大，复杂度越来越高，功能重构和扩展时却越来越受动态类型这个特性的影响，夸张来说，几乎无法去做进一步的工作。考虑及时为自己的Python项目添加类型检查是非常有必要的。另外，Pymy或者Pylance等这类工具也可以检查出一些潜在的逻辑错误，帮助我们产出更优质的代码！