标签： python types compilation cython static-typing
也许是出于某种好奇心，而不是一个适当的技术问题，但是我想知道Python生态系统中是否有任何工具都支持通过类型提示（例如mypy）和代码编译（例如Cython）进行静态类型化）使用这些类型提示。目前是否存在这样的工具？
理想情况下，该工具将用于在编译期间强制执行代码库中使用的类型，并产生一些运行时速度方面的好处（我知道我很贪心）...