vscode: Python 语言服务器 Pylance

微软宣布推出一种新的 Python 语言服务器，名为 Pylance，可利用语言服务器协议与 VS Code 进行通信。Pylance 这个名字是对 Monty Python 的 Lancelot 的致敬，Lancelot 是亚瑟王和圆桌骑士中的第一位勇士。

据介绍称，Pylance 是以微软的静态类型检查工具 Pyright 作为基础开发的全新的语言服务器，利用类型 stubs（.pyi 文件）和惰性类型推断来提供高性能的开发体验。Pylance 通过丰富的类型信息增强了用户的 Python IntelliSense 体验，可帮助用户更快更好地编写代码。Pylance 扩展还随附了热门模块的形态存根档（Type Stub）集合，以提供快速、准确的自动完成和类型检查。

Pylance的主要功能包括：自动导入、类型检查诊断、类型信息、多根工作区支持。

微软表示：“Pylance的VS Code 扩展已经整合了Pyright 的类型检查功能和语言功能，Pylance是Microsoft 官方支持的 Python 语言服务器。Pylance诞生的宗旨在于与VS Code的Python扩展一起使用。并且除了Pyright的功能外，Pylance还增加了与IntelliCode的若干高级功能的兼容性，以实现 AI 辅助完成。”

详细信息见：Announcing Pylance: Fast, feature-rich language support for Python in Visual Studio Code | Python (microsoft.com)、Pylance - Visual Studio Marketplace 和 微软再出神器，这次终于对Python下手了！ - 知乎 (zhihu.com)

设定类型检查模式

• off: No type checking analysis is conducted; unresolved imports/variables diagnostics are produced
• basic: Non-type checking-related rules (all rules in off) + basic type checking rules
• strict: All type checking rules at the highest severity of error (includes all rules in off and basic categories)