Elixir 1.20 تصبح لغة بأنواع تدريجية: كشف الأخطاء دون كتابة تعليقات الأنواع

في 3 يونيو 2026 أُعلن Elixir v1.20، الذي يكمل المرحلة الأولى من مشروع نظام الأنواع: استنتاج الأنواع وفحص كل برنامج Elixir تدريجياً دون الحاجة لكتابة تعليقات الأنواع.

ما الجديد

• كشف "الأخطاء المؤكدة" والشيفرة الميتة: مخالفات أنواع ستفشل حتماً عند التشغيل، مع نسبة إنذارات خاطئة منخفضة جداً بحسب الفريق.
• استنتاج الأنواع من الحراسات (guards): مثل when is_list(x) and is_integer(y).
• تحسين الأنواع عبر الفروع: occurrence typing في cond و case و with.
• مفاتيح الخرائط: تتبع أنواع المفاتيح من مجالات أخرى كالأعداد الصحيحة والعشرية.
• التوافق: يتطلب Erlang/OTP 27 أو أحدث، ومتوافق مع OTP 29.

لماذا يهمنا

خادم منصتنا Devorbit Fixora مبني على Elixir 1.20 و OTP 28، ويستفيد من هذه الفحوص وقت الترجمة: أخطاء كانت تظهر في الإنتاج أصبحت تُكتشف قبل النشر.

المصادر: إعلان Elixir v1.20.0 · سجل تغييرات v1.20 · Elixir Forum