ديترمينانت هو تجربة في مراحلها المبكرة تقترح لغة التطبيقات القابلة للمراجعة (AAL) كطبقة حتمية بين التوليد الاحتمالي للذكاء الاصطناعي والبرمجيات التنفيذية. يسمح النظام لنموذج اللغة الكبير (LLM) بتوليد AAL من المتطلبات بلغة طبيعية، يقوم البشر بعدها بمراجعته للتأكد من صحة المنطق التجاري قبل أن تقوم مترجم تقليدي بتوليد كود TypeScript.
- تركز AAL على مفهومين رئيسيين: الكائن (الذي يصف حالة التطبيق) والتيار (الذي يصف السلوك)، متجنبةً تفاصيل التنفيذ مثل الفئات أو الدوال.
- يحول خط التجميع accepted AAL إلى شجرة تركيبية مجردة (AST)، ويقوم بإجراء فحوصات دلالية وربط، ويخرج كود TypeScript حتمياً لـ Node.js دون مزيد من مشاركة نموذج اللغة الكبير.
- تشمل الميزات الحالية الحقول ذات الأنواع، والشروط، والأخطاء الصريحة، والحسابات، وتغييرات الحالة، وتركيب التيار، وأنواع الأموال، ودعم اللهجات الإنجليزية والصينية.
- يهدف المشروع إلى تقليل نطاق عدم اليقين في الذكاء الاصطناعي من خلال السماح للبشر بمراجعة وصف أصغر وقابل للتنفيذ بدلاً من مراجعة آلاف الأسطر من الكود المُولّد.
يسعى المؤلف للحصول على ملاحظات حول ما إذا كانت هذه الحدود للمراجعة مفيدة عملياً، وما إذا كان يمكن لـ AAL أن يظل قابلاً للقراءة مع تغطية سلوك تطبيق كافٍ.