روهلانغ 3: حساب إس كي الحد الأدنى مع الأنواع التابعة
2025-01-06
روهلانغ 3، الذي طوره Rohan Ganapavarapu، هو لغة تجريبية بسيطة مكتوبة بلغة Rust. تحاول دمج أسلوب بدون نقاط، والصورة الذاتية، والكتابة التابعة على أساس حساب إس كي. على الرغم من أنها مبنية على مُركبات إس وكي القياسية، إلا أن روهلانغ 3 تضيف مُركبات انعكاس (q و e)، وتقييم جزئي (z)، وإعادة ترتيب البيئة (i و E و D)، بالإضافة إلى نظام أنواع تابعة Pi/Sigma مبسّط (p و g). لا يهدف المشروع إلى تحقيق اتساق مثالي، بل إلى استكشاف التفاعل بين هذه المفاهيم. تسمح الصورة الذاتية بالتلاعب في وقت التشغيل بـ AST، وتوفر ميزات الانعكاس والتقييم الجزئي قدرات برمجة فوقية قوية.
اقرأ المزيد
(rohan.ga)
التطوير