ما وراء زيغ و روست: نهج أكثر ودية للبرمجة النصية البرمجية

تتناول هذه المقالة تصميمًا جديدًا بلغة برمجة يجمع بين نقاط القوة في نظام أنواع هندلي-ميلنر في روست وقدرات وقت التجميع في زيغ، مع تجنب تعقيدات نهج "الأنواع كقيم" في زيغ. من خلال إدخال عامل التشغيل `@` للتنفيذ في وقت التجميع، ونوع `Abstract` للتلخيصات في وقت التجميع، وأنواع `TypeInfo` و `Field` لفحص الأنواع، ووظائف `Code` و `parse` لمعالجة التعليمات البرمجية، يحقق هذا التصميم إمكانيات قوية لكتابة البرامج النصية البرمجية، مثل إنشاء التعليمات البرمجية تلقائيًا وتنفيذ أنواع الأدوات المساعدة الشبيهة بتايپسكريبت، مثل `Partial`، مع الحفاظ على قابلية قراءة التعليمات البرمجية وسهولة الاستنتاج. يمثل هذا نهجًا جديدًا لتحقيق البرمجة النصية البرمجية القوية مع الحفاظ على سهولة استخدام نظام الأنواع، مما يوفر وجهات نظر جديدة لتصميم اللغات المستقبلية.