تحليل النوع الثابت لـ Ruby بدون تعليقات النوع

طور مهندسو Shopify محللًا جديدًا للنوع الثابت يستنتج معلومات النوع لبرامج Ruby دون الحاجة إلى تعليقات النوع. يستخدم المحلل خوارزمية Sparse Conditional Constant Propagation (SCCP) محسّنة وتتبعًا دقيقًا لتدفق البيانات للتعامل بكفاءة مع تحليل النوع بين الإجراءات، ويكمل التحليل في ثوانٍ حتى بالنسبة للبرامج التي تحتوي على عدد كبير من الفئات. يقدم هذا البحث نهجًا جديدًا لتحسين المُجمعات للغات الديناميكية، ويفتح إمكانيات جديدة لتحسين الأداء في لغات ديناميكية مثل Ruby.