Engineering at Meta
·
2024年的类型化Python：广泛采用，但可用性挑战依然存在
💡
原文英文，约1200词，阅读约需5分钟。
📝
内容提要
在PEP 484发布十年后，JetBrains、Meta和微软对Python类型系统进行了调查，超过1000名开发者参与。结果显示88%的人“总是”或“经常”使用类型。尽管接受度高，但仍面临文档不清晰和工具性能慢等挑战。开发者希望改进工具的一致性和动态特性支持，调查结果将为未来的Python类型检查和工具发展提供参考。
🎯
关键要点
- PEP 484发布十年后，JetBrains、Meta和微软对Python类型系统进行了调查。
- 超过1000名开发者参与，结果显示88%的人“总是”或“经常”使用类型。
- 高接受度的原因包括IDE工具、文档和捕捉错误的能力。
- 类型的可用性和表达复杂模式的能力仍然是挑战。
- 工具的延迟和流行库缺乏类型限制了类型检查器的有效性。
- 类型实现的不一致性和文档的可发现性差造成了项目入门的摩擦。
- 调查方法旨在吸引尽可能多的开发者，问题易于理解。
- Python类型在多个领域被广泛使用，包括脚本/自动化、Web开发、数据分析等。
- VS Code是最受欢迎的开发环境，Mypy是最流行的类型检查器。
- 开发者喜欢类型提示带来的自动补全和代码清晰度提升。
- 常见问题包括类型系统的复杂性、类型检查器性能慢和文档不清晰。
- 321名开发者（29%）表示不使用类型的原因主要是项目不需要。
- 开发者希望工具之间有更好的标准化和一致性，改进动态和复杂模式的支持。
- Python文档的可访问性和可发现性需要改善，特别是高级类型特性。
- 感谢所有参与调查的人，期待在2025年夏天再次进行调查。
❓
延伸问答
Python类型系统的接受度如何？
88%的开发者表示他们“总是”或“经常”使用类型。
开发者在使用Python类型时面临哪些挑战？
主要挑战包括文档不清晰、工具性能慢和类型实现的不一致性。
哪些因素推动了Python类型的高采用率？
IDE工具、文档和捕捉错误的能力是推动高采用率的主要因素。
开发者希望如何改进Python类型工具？
开发者希望工具之间有更好的标准化和一致性，并改进动态和复杂模式的支持。
哪些开发环境和类型检查器最受欢迎？
VS Code是最受欢迎的开发环境，Mypy是最流行的类型检查器。
不使用Python类型的开发者主要原因是什么？
29%的开发者表示不使用类型的主要原因是项目不需要。
➡️
