Pyright-微软开源的Python语言的静态类型检查器