معرفی پروتکل سرور نوع؛ گامی تازه از مایکروسافت برای توسعه پروتکل سرور زبان (LSP)

شرکت مایکروسافت مستندات مربوط به یک پروتکل جدید به نام پروتکل سرور نوع (Type Server Protocol یا به اختصار TSP) را منتشر کرده است. این پروژه در واقع نوعی توسعه و تکامل برای پروتکل مشهور سرور زبان (LSP) محسوب می‌شود که سال‌هاست استاندارد ارتباط بین ویرایشگرهای کد و زبان‌های برنامه‌نویسی مختلف است.

پایتون، پایلنس و موتور زیرساختی آن

پروژه TSP در حال حاضر در اکوسیستم پایتون و به طور مشخص پیرامون ابزار Pylance و Pyright شکل گرفته است. پایلنس (Pylance) سرور زبان پیش‌فرض مایکروسافت برای پایتون در VS Code است که خود از موتور تحلیل نوع Pyright قدرت می‌گیرد. در حالی که کدهای اصلی پایلنس متن‌باز نیستند، این مستندات جدید نشان‌دهنده ت تلاش مایکروسافت برای ساختاردهی بهتر به نحوه پردازش و استخراج اطلاعات مربوط به تایپ‌ها و تحلیل ایستا است.

چرا این موضوع برای مهندسان نرم‌افزار اهمیت دارد؟

پروتکل LSP انقلابی در دنیای ویرایشگرهای متن و IDEها ایجاد کرد؛ چرا که به جای پیاده‌سازی چندباره امکاناتی مثل تکمیل خودکار (Autocompletion) و ناوبری کد برای هر ترکیب ویرایشگر-زبان، یک پروتکل استاندارد مبتنی بر JSON-RPC ارائه داد.

با این حال، سیستم‌های تایپ مدرن و بررسی‌کنندگان ایستا (Type Checkers) نیازمند تبادل اطلاعات پیچیده‌تری فراتر از قابلیت‌های سنتی LSP هستند. پروتکل TSP تلاش می‌کند تا این خلأ را پر کند و ارتباط میان ابزارهای تحلیل نوع و محیط‌های توسعه را استانداردسازی نماید.

نگاه جامعه توسعه‌دهندگان در هکرنیوز

این خبر در هکرنیوز با واکنش‌های متفاوتی روبرو شد. برخی کاربران از این که نام این پروتکل بسیار کلی انتخاب شده (Type Server Protocol) در حالی که در حال حاضر صرفاً برای پایتون کاربرد دارد، انتقاد کردند و پیشنهاد دادند نام دقیق‌تری مثل Python Type Server Protocol داشته باشد. عده‌ای دیگر نیز با شوخ‌طبعی به پیچیدگی‌های روزافزون ابزارهای توسعه پایتون و ابزارهای مدیریت نوع اشاره کردند.

در یک نگاه

• توسعه‌دهنده: مایکروسافت (در مخزن مربوط به Pylance)
• فناوری اصلی: پایتون، تحلیل ایستا و سیستم‌های نوع‌داده
• حوزه کاربرد: استانداردسازی ارتباط ابزارهای بررسی نوع با ویرایشگرها به عنوان تکمیلی بر LSP
• وضعیت بلوغ: انتشار اولیه مستندات و فعال در اکوسیستم ابزارهای پایتون مایکروسافت