تایپ‌چک پایتون گوگل با Pyrefly سریع‌تر می‌شود

گوگل برای تایپ‌چک پایتون، ابزار قدیمی Pytype را کنار گذاشته و Pyrefly را جایگزین آن کرده است؛ ابزاری متن‌باز که ابتدا در متا توسعه یافت. گوگل می‌گوید سرعت و دقت بالاتر Pyrefly، همراه با هزینه زیرساخت کمتر، عامل اصلی این تصمیم بوده است.

Pytype کد بایت‌کامپایل‌شده را تحلیل می‌کرد و با تکامل سریع سیستم تایپ پایتون، نگهداری آن دشوارتر شده بود. ناپایداری بایت‌کد میان نسخه‌های پایتون نیز همگام‌ماندن با PEPهای جدید تایپ را به یک چالش بنیادی تبدیل کرده بود.

بر پایه بنچمارک‌های داخلی گوگل، Pyrefly حدود ۱۰ برابر سریع‌تر از Pytype است، تأخیر بازسازی افزایشی را تا ۹۸ درصد کاهش می‌دهد و هزینه اوج پردازش را بیش از ۸۰ درصد پایین می‌آورد. زمان بررسی تایپ در مسیرهای حیاتی بیلد تمیز نیز ۹۰ تا ۹۹ درصد کمتر شده است؛ تغییری که برای توسعه‌دهندگان می‌تواند گلوگاه قدیمی فرایند توسعه را کاهش دهد.

گوگل اعلام کرده Pyrefly حدود ۹۷ درصد آزمون‌های مجموعه انطباق مشخصات تایپ پایتون را پاس می‌کند و پیام‌های خطای کاربردی‌تری، از جمله نشانه‌گذاری درون‌کد و گاهی پیشنهاد اصلاح، ارائه می‌دهد. Pyrefly که سال گذشته متن‌باز شد، با Rust نوشته شده و متا می‌گوید در کدبیس‌های بزرگ تا ۱.۸ میلیون خط کد را در ثانیه بررسی می‌کند.

منبع: InfoQ