typing-extensions

`typing-extensions`是Python标准库`typing`模块的一个扩展，它提供了一些新的类型注释和类型别名，以帮助开发人员更好地描述和检查代码中的类型信息。

在Python 3.7及以下版本中，`typing`模块提供了一些基本的类型注释，如`List`、`Tuple`、`Dict`等，但是缺少一些更高级的类型注释，如`Literal`、`TypedDict`等。`typing-extensions`模块扩展了`typing`模块，添加了这些新的类型注释和类型别名，以便更好地描述和检查代码中的类型信息。

`typing-extensions`模块是一个第三方库，你可以使用pip命令在Python环境中安装它：

pip install typing-extensions

安装完成后，你可以在Python代码中使用`typing_extensions`模块中的新类型注释和类型别名。例如：

from typing_extensions import Literal, TypedDict

# 使用Literal类型注释
def greet(name: Literal["Alice", "Bob"]) -> str:
    return f"Hello, {name}!"

# 使用TypedDict类型别名
class Person(TypedDict):
    name: str
    age: int

person: Person = {"name": "Alice", "age": 30}

需要注意的是，`typing-extensions`模块是一个第三方库，不是Python标准库的一部分。如果你使用的是Python 3.8及以上版本，`typing-extensions`中的一些类型注释和类型别名可能已经被添加到了Python标准库中，你可以直接使用标准库中的`typing`模块。