pre-commit中mypy镜像额外依赖types-前缀包的来源与列表查询

1. 什么是types-前缀包 #

这些是类型存根包，用来给本身没自带类型注解的Python库补充类型定义，让mypy能对使用这些库的代码做静态类型检查。比如types-requests对应requests库的类型存根，types-boto3对应boto3的类型存根。

2. 维护方与定义位置 #

这类包主要由typeshed项目维护，typeshed是Python官方的类型存根仓库，里面收录了大量标准库和第三方库的类型定义。部分第三方库的类型存根由社区开发者贡献，最终会以types-<库名>的形式发布到PyPI。

3. 包名与原库的映射规则 #

• 基本规则是types-加上原库的名称（通常转小写），比如types-PyYAML对应PyYAML，types-python-dateutil对应python-dateutil。
• 原库名里的特殊字符（比如点、下划线）会直接保留在包名中，确保和原库一一对应。

4. 如何找到所有可用的types-前缀包 #

• 直接在PyPI搜索types-前缀的关键词，就能看到所有已发布的类型存根包。
• 查看typeshed仓库的stubs目录，每个子目录对应一个types-前缀的包，子目录名就是去掉types-后的原库名。

内容的提问来源于stack exchange，提问作者Drachenfels