python - 如何使用 Pyright 运行代码类型检查的 Python 代码？

Question

我已经安装了 Pyright 用于对我的 Python 代码进行类型检查，但我不确定如何运行它。例如，这是我的代码

def add(x: int, y: int):
    return x + y


print(add(10, 20))

当我尝试使用 , 运行它时python，python typed.py它给了我以下错误：

  File "typed.py", line 2
    def add(x: int, y: int):
             ^
SyntaxError: invalid syntax

我已经浏览了文档，但没有找到编译或运行代码的选项。如何运行这些键入的 Python 代码？