PEP 747 引入了新的类型形式 typing.TypeForm，以解决 Python 类型系统中对类型表达式注释不足的问题。TypeForm 允许开发者准确标注接受类型形式对象的函数，提升类型安全性。该提案不改变 Python 语法，主要通过类型检查器强制执行使用规则，支持可赋值性检查和类型转换，增强了 Python 类型系统的灵活性和表达能力。