马儿慢些走

摘要： PEP 483 为 Python 的类型提示提供了理论基础。它介绍了类型和子类型的概念，强调了子类型关系对类型检查的重要性，并阐述了逐步类型化的理念，允许部分代码使用类型注解。还定义了基本类型构建块（如 `Any`、`Union`、`Optional` 等）、泛型类型、类型变量以及协变与逆变的概念，旨在为 Python 提供灵活的类型注解系统。此外，也提及了类型别名、前向引用等实用特性。 阅读全文