MicrosoftにおけるPythonエンジニアリング:Py... ノート

MicrosoftにおけるPythonエンジニアリング:Pylance + Pyrefly:Visual Studio Codeに好みの型チェッカーをもたらす

Microsoftは、Type Server Protocol(TSP)を導入することで、Python開発者のエクスペリエンスを向上させています。Language Server Protocolの拡張であるこのオープンスタンダードは、エディタやツールが型チェッカーをバックエンドコンポーネントとして統合することを可能にします。TSPは、VS Code IDEのインテリジェンスレイヤーであるPylanceを、デフォルトの型チェッカーであるPyrightから分離します。この分離により、開発者はMetaのPyreflyのような代替型チェッカーに簡単に切り替えることができます。Pylanceのコア機能(補完やGitHub Copilot連携など)は、選択された型チェッカーに関わらず一貫して維持されます。MicrosoftはMetaと提携し、静的型解析およびAI/MLライブラリにおけるMetaの専門知識を活用して、Pyreflyの完全なTSPサポートを確保しています。この協力は、Pythonエコシステム内の相互運用性を促進することを目的としています。高いパフォーマンスとCI互換性で知られるPyreflyは、Pylanceとシームレスに統合できるようになりました。これにより、開発者はPyreflyの型解析エンジンとPylanceのAI対応インテリジェンスを組み合わせることができます。ユーザーは、Pylanceバージョン2026.4.1以降をインストールすることで、この新しいエクスペリエンスを試すことができます。PylanceはPyreflyのインストールを自動的に検出し、ユーザーに切り替えを促します。あるいは、ユーザーはVS Codeの設定を通じて、Pylance、Pylance + Pyright、またはPylance + Pyreflyを含む、好みの診断ソースを手動で選択できます。ステータスバーには、アクティブな診断ソースが明確に表示されます。
CdXz5zHNQW_jwz7YqFtlb.png