typed_python typed_python模块为Python和可以利用它们的编译器提供了强大的运行时类型。 它为您提供了可用于构建强类型和半强类型数据结构的新类型，从而使您的程序更易于理解，并且编译器工具链可以利用这些数据结构来生成快速的机器代码，而这不会不需要GIL。 typed_python是在Python 3.6及更高版本上运行的标准模块。 您可以在整个项目中逐步使用它-在各处添加一些类型约束，或编译几个小型但对性能至关重要的函数。 当您添加更多类型信息时，可以编译更多程序。