ما وراء هندلي-ميلنر: برنامج تعليمي حول مترجم كوبيمل مع كتابة فرعية جبرية

تقدم هذه السلسلة من مشاركات المدونة كوبيمل، وهو برنامج تعليمي للمترجم مبني حول نظام جديد للاستنتاج النمطي يسمى "التوحيد الثُلاثي الثنائي"، وهو تحسين في الكتابة الفرعية الجبرية. وهو يعالج قيود عدم دعم الكتابة الفرعية في نظام هندلي-ميلنر، مما يوفر استنتاجًا نمطيًا أكثر قوة وبديهية. يوضح البرنامج التعليمي تنفيذ كوبيمل من خلال أمثلة شفرة مفصلة، تغطي القيم المنطقية، والتعبيرات الشرطية، والسجلات، والوظائف، وربطات let، وربطات let العودية، والعودية المتبادلة، ومطابقة أنواع الحالات. والهدف النهائي هو مترجم يقوم بفحص أنواع البرامج دون الحاجة إلى تعليقات نمطية يدوية.