我可以使用Python类型提示来编译代码吗？

与其说是一个恰当的技术问题，还不如说是一个随机的好奇，但我想知道Python生态系统中是否有任何工具既支持通过类型提示（例如mypy）进行静态类型化，也支持使用这些类型提示进行代码编译（例如Cython）。目前是否存在这样的工具

理想情况下，该工具将用于在编译期间强制执行代码库中使用的类型，并产生一些运行时速度优势（我知道我很贪婪）.

不是您想要的（不使用标准类型提示），但这很接近。另请参见对的回答，以了解为什么mypy样式的提示对优化器不像最初显示的那样有用。