PEP 827在2026年Python语言峰会上被讨论，提议为类型注解引入条件类型、推导类型和成员类型等原语，使返回类型可由输入参数推断，并自动生成CRUD模型类型。核心争议在于运行时如何存储类型注解：可选字符串格式、仅存字符串再eval，或使用__annotate__闭包，需权衡内存与速度。