类型提示是否可以提高 Python 的性能？

Question

例如：

def hello(name: str) -> str:
    return 'Hello there, {}!'.format(name)

正如 PEP 所说：

虽然这些注解在运行时通过常用__annotations__属性可用，但在运行时 不会进行类型检查。相反，该提案假设存在一个单独的离线类型检查器，用户可以自愿运行其源代码。

由于在运行时没有类型检查，它是否使程序比没有类型提示的 Python 程序更快？