Microsoft công bố Giao thức Máy chủ Kiểu (TSP) — bước tiến mới nối dài Language Server Protocol

Microsoft vừa chính thức công bố Type Server Protocol (TSP) — một giao thức dựa trên JSON-RPC cho phép các công cụ lập trình truy vấn dữ liệu phân tích kiểu của mã nguồn Python. Đây được xem là bước mở rộng đáng chú ý của Language Server Protocol (LSP) vốn đã trở thành chuẩn mực trong thế giới công cụ phát triển phần mềm.

Tài liệu kỹ thuật của giao thức này hiện được công bố công khai trên kho lưu trữ Pylance của Microsoft, cho thấy hướng đi ngày càng chuyên sâu của hãng trong việc tối ưu hóa trải nghiệm lập trình Python.

TSP là gì và giải quyết bài toán gì?

Theo mô tả chính thức, Type Server Protocol là giao thức JSON-RPC dùng để yêu cầu một type server cung cấp dữ liệu phân tích cho Python. Máy chủ kiểu này duy trì trạng thái phân tích kiểu của toàn bộ workspace và trả lời các truy vấn về phiên bản giao thức, snapshot, đường dẫn tìm kiếm Python, phân giải import cũng như các truy vấn kiểu.

Giao thức sử dụng lại các cấu trúc dữ liệu và quy ước của LSP ở những chỗ hữu ích, chẳng hạn như Position và Range, đồng thời biểu diễn URI dưới dạng chuỗi giống LSP. Các phương thức của TSP đều dùng tiền tố typeServer/.

Có thể hiểu đơn giản: nếu LSP giúp trình soạn thảo "nói chuyện" với máy chủ ngôn ngữ để có gợi ý code, thì TSP giúp máy chủ ngôn ngữ "nói chuyện" với một bộ máy phân tích kiểu chuyên biệt, từ đó đưa ra thông tin kiểu chính xác và nhanh chóng hơn.

Kiến trúc kết nối và cơ chế đa kênh

Một máy chủ kiểu được khởi chạy và giao tiếp với client qua kết nối JSON-RPC chính, sử dụng các transport như stdio hoặc Node IPC. Khi dùng stdio, luồng stdout phải được dành riêng cho các thông điệp giao thức.

Điểm đáng chú ý là TSP hỗ trợ chế độ đa kết nối (multi-connection) như một tính năng tối ưu hiệu năng tùy chọn. Theo đó, client có thể mở thêm các kênh cục bộ chỉ đọc tới cùng một máy chủ kiểu, trong khi kết nối chính vẫn đảm nhiệm toàn bộ trạng thái workspace có thể thay đổi.

Kết nối chính sở hữu mọi lưu lượng làm thay đổi trạng thái. Các kênh phụ chỉ được phép thực hiện truy vấn TSP chỉ đọc và không làm biến đổi trạng thái máy chủ.

Việc đàm phán khả năng đa kết nối diễn ra thông qua yêu cầu initialize của LSP. Chỉ khi cả hai phía đều quảng bá khả năng typeServerMultiConnection và có ít nhất một transport chung thì chế độ này mới được kích hoạt. Hiện transport tích hợp được hỗ trợ cho kênh phụ là ipc.

Snapshot — xương sống của tính nhất quán dữ liệu

TSP sử dụng khái niệm snapshot — một số nguyên không âm đại diện cho một điểm nhìn tại thời điểm cụ thể của trạng thái phân tích. Các handle kiểu, khai báo, ký hiệu và đối tượng trả về chỉ hợp lệ trong snapshot mà chúng được sinh ra, trừ khi yêu cầu quy định khác.

Máy chủ kiểu phải tăng snapshot mỗi khi một kết quả phân tích trước đó có nguy cơ trở nên không còn đúng. Các sự kiện điển hình gây mất hiệu lực bao gồm thay đổi file đang mở, đóng file, thay đổi cấu hình, thay đổi file được theo dõi, thay đổi dependency hoặc bất kỳ lần reset cache nào.

Khi client gửi truy vấn kèm snapshot cũ, máy chủ nên trả về lỗi JSON-RPC có mã -32802 (ServerCancelled) để client lấy snapshot mới và thử lại.

Các loại truy vấn kiểu

Ba truy vấn kiểu cốt lõi của TSP khác nhau ở loại kiểu mà chúng báo cáo cho cùng một nút hoặc khai báo:

• getComputedType: trả về kiểu được suy luận từ luồng thực thi mã. Ví dụ, sau khi thu hẹp a về int, kiểu tính toán của b trong b = a + 1 sẽ là int.
• getDeclaredType: trả về kiểu được viết tường minh trong mã nguồn. Với def foo(a: int | str), kiểu khai báo của a là int | str.
• getExpectedType: trả về kiểu mà ngữ cảnh xung quanh mong đợi. Với lời gọi foo(4), kiểu mong đợi của đối số là int | str.

Kết quả kiểu là các đối tượng gắn thẻ có thể tuần tự hóa JSON, hỗ trợ nhiều loại như BuiltIn, Function, Class, Union, Module, TypeVar, Overloaded, Synthesized và TypeReference.

Ý nghĩa với cộng đồng lập trình viên

Việc Microsoft chuẩn hóa TSP mang lại nhiều lợi ích thực tế. Thứ nhất, nó tách biệt phần phân tích kiểu nặng nề khỏi máy chủ ngôn ngữ, giúp các IDE và trình soạn thảo như VS Code, Neovim hay JetBrains có thể tận dụng một máy chủ kiểu dùng chung mà không phải tự xây dựng lại toàn bộ logic phân tích.

Thứ hai, cơ chế snapshot và kết nối đa kênh giúp các tác vụ truy vấn kiểu khối lượng lớn — chẳng hạn như chạy nền hoặc phân tích hàng loạt — không làm nghẽn luồng giao tiếp chính, từ đó cải thiện độ phản hồi của trình soạn thảo.

Đối với lập trình viên Python tại Việt Nam, đặc biệt là những người làm việc với các dự án lớn dùng Pylance hoặc Pyright, giao thức này hứa hẹn mang lại trải nghiệm gợi ý code và kiểm tra kiểu nhanh, chính xác hơn trong tương lai gần.

Hiện tài liệu TSP được cập nhật đồng bộ với phiên bản Pylance 2026.4.1, cho thấy Microsoft đang tích cực đưa giao thức này vào vận hành thực tế thay vì chỉ dừng ở mức đặc tả lý thuyết.