Microsoft lansează Type Server Protocol pentru Python

De ce analiză separată pentru tipuri?

Microsoft a publicat Type Server Protocol, un standard nou bazat pe JSON-RPC dedicat analizei tipurilor în Python. Protocolele se alătură ecosistemului existent al Language Server Protocol și vizează instrumentele de dezvoltare și fluxurile de analiză statică.

Anunțul a fost făcut printr-o depozită publică pe GitHub, în cadrul proiectului Pylance.

Type Server Protocol definește modul în care editoarele și IDE-urile comunică cu un server dedicat tipurilor. Acest server menține starea analizei pentru întregul spațiu de lucru.

Clienții pot interoga versiunea protocolului, solicita instantanee ale tipurilor și obține căile de căutare pentru Python. Protocoul suportă și rezolvarea importurilor și interogări pentru tipuri calculate, declarate și așteptate.

Protocoul separă calculul tipurilor de procesul editorului.

Asta permite ca analiza grea să ruleze într-un serviciu separat. Editoarele trimit cereri JSON-RPC către serverul de tipuri și primesc răspunsuri structurate. Serverul urmărește starea spațiului de lucru, inclusiv modificările fișierelor și graful dependențelor.

Un singur server, mai mulți clienți!

Această arhitectură reduce latența în interfața editorului.

Specificația protocolului este disponibilă în depozitul de eliberare Pylance.

Documentează schemele mesajelor, codurile de eroare și gestionarea sesiunilor. Dezvoltatorii pot implementa clienți pentru orice editor care suportă servere de limbaj personalizate. Designul urmează Language Server Protocol, dar adaugă operațiuni specifice tipurilor.

Rularea analizei tipurilor într-un server dedicat descarcă munca intensivă din CPU. Editoarele rămân responsive în timp ce serverul gestionează inferența complexă a tipurilor. Această separare permite și analiza partajată între mai multe instanțe de editor. Un singur server de tipuri poate servi mai mulți clienți simultan. Protocoul suportă actualizări incrementale când fișierele se modifică.

Microsoft a proiectat TSP să lucreze cu infrastructura existentă a LSP.

Reutilizează transportul JSON-RPC și modelele de gestionare a sesiunilor. Asta face integrarea simplă pentru furnizorii de editoare. Protocoul include metode pentru interogarea tipurilor așteptate, care susțin auto-completarea și evidențierea erorilor.

Întrebări frecvente?

Ce este Type Server Protocol? Este un standard JSON-RPC pentru analiza tipurilor în Python.

Permite editoarelor să interoge un server de tipuri pentru rezolvarea importurilor, căile de căutare și instantaneele tipurilor.

Cum diferă TSP de Language Server Protocol? TSP extinde LSP prin operațiuni specifice tipurilor.

Se concentrează pe tipurile calculate, declarate și așteptate pentru codul Python. LSP gestionează funcții generale ale limbajului, în timp ce TSP se specializează pe inteligența tipurilor.

Unde pot găsi specificația protocolului?

Specificația completă se află în depozitul de eliberare Pylance pe GitHub. Documentează schemele mesajelor, codurile de eroare și gestionarea sesiunilor pentru clienții serverului de tipuri.