tags:: source:: python/mypy: Optional static typing for Python 扩展 python 提供静态类型分析，类似 TypeScript 之于 JavaScript