类型相关 PEP
简介
这是所有被标记为“类型”主题的 Python 增强提案 (PEP) 的索引。它是 PEP 0（PEP 索引）的子索引。
许多最近的 PEP 提议更改 Python 的静态类型系统，或者与类型注释相关。它们在这里列出以供参考。
按类别索引
元 PEP（关于 PEP 或流程的 PEP）
| PEP | 标题 | 作者 | |
|---|---|---|---|
| PA | 729 | 类型治理流程 | Jelle Zijlstra, Shantanu Jain |
其他信息型 PEP
| PEP | 标题 | 作者 | |
|---|---|---|---|
| IF | 482 | 类型提示的文献概述 | Łukasz Langa |
| IF | 483 | 类型提示的理论 | Guido van Rossum, Ivan Levkivskyi |
已接受的 PEP（已接受；可能尚未实现）
| PEP | 标题 | 作者 | ||
|---|---|---|---|---|
| SA | 563 | 推迟注释的评估 | Łukasz Langa | 3.7 |
| SA | 649 | 使用描述符推迟注释的评估 | Larry Hastings | 3.14 |
开放 PEP（正在考虑中）
| PEP | 标题 | 作者 | ||
|---|---|---|---|---|
| S | 718 | 可订阅函数 | James Hilton-Balfe | 3.13 |
| S | 727 | 注释元数据中的文档 | Sebastián Ramírez | 3.13 |
| S | 728 | 具有类型化额外项目的 TypedDict | Zixuan James Li | 3.13 |
| S | 746 | 类型检查注释元数据 | Adrian Garcia Badaracco | 3.14 |
| S | 747 | TypeExpr：类型表达式的类型提示 | David Foster | 3.14 |
| S | 749 | 实现 PEP 649 | Jelle Zijlstra | 3.14 |
已完成的 PEP（已完成，具有稳定接口）
| PEP | 标题 | 作者 | ||
|---|---|---|---|---|
| SF | 484 | 类型提示 | Guido van Rossum, Jukka Lehtosalo, Łukasz Langa | 3.5 |
| SF | 526 | 变量注释的语法 | Ryan Gonzalez, Philip House, Ivan Levkivskyi, Lisa Roach, Guido van Rossum | 3.6 |
| SF | 544 | 协议：结构化子类型（静态鸭子类型） | Ivan Levkivskyi, Jukka Lehtosalo, Łukasz Langa | 3.8 |
| SF | 560 | 对 typing 模块和泛型的核心支持 | Ivan Levkivskyi | 3.7 |
| SF | 561 | 分发和打包类型信息 | Ethan Smith | 3.7 |
| SF | 585 | 在标准集合中类型提示泛型 | Łukasz Langa | 3.9 |
| SF | 586 | 文字类型 | Michael Lee, Ivan Levkivskyi, Jukka Lehtosalo | 3.8 |
| SF | 589 | TypedDict：具有固定键集的字典的类型提示 | Jukka Lehtosalo | 3.8 |
| SF | 591 | 在 typing 中添加 final 限定符 | Michael J. Sullivan, Ivan Levkivskyi | 3.8 |
| SF | 593 | 灵活的函数和变量注释 | Till Varoquaux, Konstantin Kashin | 3.9 |
| SF | 604 | 允许将联合类型写成 X | Y | Philippe PRADOS, Maggie Moss | 3.10 |
| SF | 612 | 参数规范变量 | Mark Mendoza | 3.10 |
| SF | 613 | 显式类型别名 | Shannon Zhu | 3.10 |
| SF | 646 | 可变泛型 | Mark Mendoza, Matthew Rahtz, Pradeep Kumar Srinivasan, Vincent Siles | 3.11 |
| SF | 647 | 用户定义的类型保护 | Eric Traut | 3.10 |
| SF | 655 | 将 TypedDict 中的单个项目标记为必需或可能缺失 | David Foster | 3.11 |
| SF | 673 | 自身类型 | Pradeep Kumar Srinivasan, James Hilton-Balfe | 3.11 |
| SF | 675 | 任意文字字符串类型 | Pradeep Kumar Srinivasan, Graham Bleaney | 3.11 |
| SF | 681 | 数据类转换 | Erik De Bonte, Eric Traut | 3.11 |
| SF | 688 | 使缓冲协议在 Python 中可访问 | Jelle Zijlstra | 3.12 |
| SF | 692 | 使用 TypedDict 进行更精确的 **kwargs 类型提示 | Franek Magiera | 3.12 |
| SF | 695 | 类型参数语法 | Eric Traut | 3.12 |
| SF | 696 | 类型参数的类型默认值 | James Hilton-Balfe | 3.13 |
| SF | 698 | 用于静态类型的 Override 装饰器 | Steven Troxler, Joshua Xu, Shannon Zhu | 3.12 |
| SF | 702 | 使用类型系统标记弃用 | Jelle Zijlstra | 3.13 |
| SF | 705 | TypedDict：只读项目 | Alice Purcell | 3.13 |
| SF | 742 | 使用 TypeIs 缩小类型 | Jelle Zijlstra | 3.13 |
已废弃、已撤回和已拒绝的 PEP
| PEP | 标题 | 作者 | ||
|---|---|---|---|---|
| SR | 677 | 可调用类型语法 | Steven Troxler, Pradeep Kumar Srinivasan | 3.11 |
| SW | 724 | 更严格的类型保护 | Rich Chiodo, Eric Traut, Erik De Bonte | 3.13 |
数字索引
| PEP | 标题 | 作者 | ||
|---|---|---|---|---|
| IF | 482 | 类型提示的文献概述 | Łukasz Langa | |
| IF | 483 | 类型提示的理论 | Guido van Rossum, Ivan Levkivskyi | |
| SF | 484 | 类型提示 | Guido van Rossum, Jukka Lehtosalo, Łukasz Langa | 3.5 |
| SF | 526 | 变量注释的语法 | Ryan Gonzalez, Philip House, Ivan Levkivskyi, Lisa Roach, Guido van Rossum | 3.6 |
| SF | 544 | 协议：结构化子类型（静态鸭子类型） | Ivan Levkivskyi, Jukka Lehtosalo, Łukasz Langa | 3.8 |
| SF | 560 | 对 typing 模块和泛型的核心支持 | Ivan Levkivskyi | 3.7 |
| SF | 561 | 分发和打包类型信息 | Ethan Smith | 3.7 |
| SA | 563 | 推迟注释的评估 | Łukasz Langa | 3.7 |
| SF | 585 | 在标准集合中类型提示泛型 | Łukasz Langa | 3.9 |
| SF | 586 | 文字类型 | Michael Lee, Ivan Levkivskyi, Jukka Lehtosalo | 3.8 |
| SF | 589 | TypedDict：具有固定键集的字典的类型提示 | Jukka Lehtosalo | 3.8 |
| SF | 591 | 在 typing 中添加 final 限定符 | Michael J. Sullivan, Ivan Levkivskyi | 3.8 |
| SF | 593 | 灵活的函数和变量注释 | Till Varoquaux, Konstantin Kashin | 3.9 |
| SF | 604 | 允许将联合类型写成 X | Y | Philippe PRADOS, Maggie Moss | 3.10 |
| SF | 612 | 参数规范变量 | Mark Mendoza | 3.10 |
| SF | 613 | 显式类型别名 | Shannon Zhu | 3.10 |
| SF | 646 | 可变泛型 | Mark Mendoza, Matthew Rahtz, Pradeep Kumar Srinivasan, Vincent Siles | 3.11 |
| SF | 647 | 用户定义的类型保护 | Eric Traut | 3.10 |
| SA | 649 | 使用描述符推迟注释的评估 | Larry Hastings | 3.14 |
| SF | 655 | 将 TypedDict 中的单个项目标记为必需或可能缺失 | David Foster | 3.11 |
| SF | 673 | 自身类型 | Pradeep Kumar Srinivasan, James Hilton-Balfe | 3.11 |
| SF | 675 | 任意文字字符串类型 | Pradeep Kumar Srinivasan, Graham Bleaney | 3.11 |
| SR | 677 | 可调用类型语法 | Steven Troxler, Pradeep Kumar Srinivasan | 3.11 |
| SF | 681 | 数据类转换 | Erik De Bonte, Eric Traut | 3.11 |
| SF | 688 | 使缓冲协议在 Python 中可访问 | Jelle Zijlstra | 3.12 |
| SF | 692 | 使用 TypedDict 进行更精确的 **kwargs 类型提示 | Franek Magiera | 3.12 |
| SF | 695 | 类型参数语法 | Eric Traut | 3.12 |
| SF | 696 | 类型参数的类型默认值 | James Hilton-Balfe | 3.13 |
| SF | 698 | 用于静态类型的 Override 装饰器 | Steven Troxler, Joshua Xu, Shannon Zhu | 3.12 |
| SF | 702 | 使用类型系统标记弃用 | Jelle Zijlstra | 3.13 |
| SF | 705 | TypedDict：只读项目 | Alice Purcell | 3.13 |
| S | 718 | 可订阅函数 | James Hilton-Balfe | 3.13 |
| SW | 724 | 更严格的类型保护 | Rich Chiodo, Eric Traut, Erik De Bonte | 3.13 |
| S | 727 | 注释元数据中的文档 | Sebastián Ramírez | 3.13 |
| S | 728 | 具有类型化额外项目的 TypedDict | Zixuan James Li | 3.13 |
| PA | 729 | 类型治理流程 | Jelle Zijlstra, Shantanu Jain | |
| SF | 742 | 使用 TypeIs 缩小类型 | Jelle Zijlstra | 3.13 |
| S | 746 | 类型检查注释元数据 | Adrian Garcia Badaracco | 3.14 |
| S | 747 | TypeExpr：类型表达式的类型提示 | David Foster | 3.14 |
| S | 749 | 实现 PEP 649 | Jelle Zijlstra | 3.14 |
PEP 类型键
- I — 信息型：非规范性 PEP，包含与 Python 生态系统相关的背景、指南或其他信息
- P — 流程型：规范性 PEP，描述或提出对 Python 社区流程、工作流程或治理的更改
- S — 标准轨迹：规范性 PEP，包含 Python 的新功能、CPython 的实现更改或生态系统的互操作性标准
PEP 状态键
- A — 已接受：已接受实施的规范性提案
- A — 活动：当前有效的规范性指导，或正在使用的流程
- D — 推迟：不活动的草案，可能在以后恢复
- <无字母> — 草案：正在积极讨论和修订的提案
- F — 最终：已接受且实现完成，或不再活动
- P — 临时：暂时接受，但需要更多反馈
- R — 拒绝：正式拒绝，不会被接受
- S — 被取代：被另一个后续 PEP 取代
- W — 撤回：由发起者或作者从考虑范围内删除