Python的静态类型检查器 速度 Pyright是用于大型Python源库的快速类型检查器。 它可以在“监视”模式下运行,并在修改文件后执行快速的增量更新。 可配置性 Pyright支持,这些提供对设置的精细控制。 不同的“执行环境”可以与源库中的子目录相关联。 每个环境都可以指定不同的模块搜索路径,python语言版本和平台目标。 类型检查功能 类型提示,包括泛型 变量注释的语法 结构子类型化 分发和包装类型信息 推迟对注释的评估 标准集合中的类型提示泛型 文字类型 字典 最终预选赛 灵活变量注释 补充语法 参数规格变量 显式类型别名 用户定义类型防护 函数返回值,实例变量,类变量和全局变