مقدمة في الأنواع التابعة (Dependent Types) و Scala على مستوى النوع (Type-Level Scala)

تمنع الأنواع التقليدية الأخطاء الأساسية، ولكن ماذا لو كان نظام الأنواع الخاص بك يمكنه إثبات صحة التعليمات البرمجية الخاصة بك في وقت التجميع؟ تسمح لك الأنواع التابعة (Dependent types) بوضع معلمات للأنواع باستخدام القيم، مما يسد الفجوة بين المنطق والبرمجة. ترشدك هذه الدورة التدريبية النصية عبر المفاهيم الأساسية للأنواع التابعة والبرمجة على مستوى النوع باستخدام Scala الحديثة. ستتعلم كيفية نقل فحوصات وقت التشغيل إلى ضمانات وقت التجميع، مما يضمن أن برنامجك صحيح بالبناء. ما ستتعلمه: فهم الأسس النظرية للأنواع التابعة ومماثلة Curry-Howard؛ تنفيذ أنواع الدوال التابعة وأنواع المسار التابعة في Scala الحديثة؛ تصميم هياكل بيانات آمنة من النوع مثل أنواع البيانات الجبرية المعممة والمتجهات محددة الحجم؛ تطبيق تقنيات الحل الضمني والبرمجة على مستوى النوع لحل مشاكل المجال المعقدة؛ كتابة تأكيدات وإثباتات وقت التجميع باستخدام ميزات اللغة المتقدمة. نبدأ بالمفاهيم الرياضية والمنطقية الأساسية وراء أنظمة الأنواع المتقدمة. ومن هناك، ستقرأ شروحات التعليمات البرمجية خطوة بخطوة والتفاصيل المفاهيمية، لتصل تدريجياً إلى أنماط متطورة على مستوى النوع. تم تصميم هذه الدورة للمطورين الذين لديهم إلمام أساسي بالبرمجة الوظيفية ويرغبون في استكشاف أحدث ما توصلت إليه سلامة النوع. ابدأ القراءة اليوم لفتح القوة التعبيرية الكاملة لمترجم Scala.