Microsoft și Meta aduc verificarea de tipuri Pyrefly în Pylance

Microsoft și Meta aduc verificarea de tipuri Pyrefly în Pylance, instrumentul pentru Python folosit în Visual Studio Code. Integrarea se bazează pe un nou Type Server Protocol, care separă verificarea de tipuri de funcțiile de inteligență ale editorului și de integrarea Copilot din Pylance. Acest lucru contează deoarece analiza tipurilor poate fi furnizată de un serviciu distinct, fără a fi legată direct de celelalte funcții ale editorului.

Articolul identifică Pyrefly drept verificatorul de tipuri care va fi conectat la Pylance și Type Server Protocol drept mecanismul de conectare. Pylance va continua să furnizeze funcțiile de inteligență ale editorului și integrarea Copilot, în timp ce verificarea de tipuri poate rula separat prin protocol. Informațiile disponibile nu precizează rezultate de performanță, versiuni compatibile, pași de configurare sau o dată de lansare, astfel că aceste aspecte nu pot fi evaluate pe baza textului furnizat.

Separarea creează o arhitectură prin care Pylance poate utiliza o componentă dedicată verificării de tipuri fără să renunțe la celelalte funcționalități. Impactul practic pentru dezvoltatorii Python va depinde de detaliile implementării și disponibilității, care nu sunt incluse în sursă. Următorul aspect de urmărit este modul în care va fi livrată integrarea și ce informații tehnice despre comportament și compatibilitate vor publica Microsoft și Meta.