لغة Goose الجديدة بلا heap ولا garbage collector، ونفّذ الـ compiler الخاص بها نموذج Claude Fable

صدرت لغة برمجة جديدة اسمها Goose برخصة Apache 2.0، وفكرتها الأساسية غير مألوفة: لا يوجد فيها heap على الإطلاق. فلا allocator، ولا garbage collector، ولا lifetime annotations كما في Rust، ولا توجد في اللغة كلمة unsafe أصلًا.

وتعمل الذاكرة فيها بطريقة مختلفة. فكل قيمة ديناميكية تُخزَّن inline على data stacks يديرها الـ compiler بنفسه. وتكبر الذاكرة بتحريك مؤشر إلى الأمام، أو bump pointer، وتُحرَّر تلقائيًا عند انتهاء النطاق الذي أُنشئت فيه. أي أن عمر كل قيمة مرتبط ببنية الكود نفسها، لا بقرار يكتبه المبرمج.

والجانب الثاني من الخبر هو من كتب الـ compiler. فملف README ينسب تصميم اللغة إلى Wouter van Oortmerssen، وينسب تنفيذ الـ compiler والبنشماركات والتوثيق إلى Claude Fable. ويقول المستودع صراحة إنه صُنع بالكامل تقريبًا بالذكاء الاصطناعي، انطلاقًا من تصميم لغة وضعه إنسان. ويبلغ الـ compiler قرابة 30 ألف سطر من C++، ويُخرج ملف C واحدًا، وجمع المستودع 2.1k نجمة.

أما الأداء فأرقامه تحتاج إلى حذر. فالمشروع يقول إن اللغة أسرع من C++ ومن safe Rust على 16 بنشمارك من إعداده. لكن الصفحة نفسها تذكر رقمين مختلفين للمقارنة ذاتها: النص يقول 3.3x أسرع من C++ العادي، والجدول يقول 3.51x على backend الخاص بـ MSVC. وكلها قياسات أجراها المشروع على نفسه، ولم يقسها طرف مستقل بعد.

وما يمكن التأكد منه أن شخصًا صمّم لغة، وأن نموذجًا نفّذ لها compiler يعمل ويحمّله الناس ويجربونه. وإن صحّ هذا النمط، فالجزء الذي كان يستهلك سنوات من العمل في أي لغة جديدة صار أقصر بكثير، وصار الحكم على الفكرة نفسها هو ما يحدد قيمة المشروع. ولم يتضح بعد إن كانت Goose ستتحول إلى لغة يُبنى عليها، أم تبقى عرضًا لما صار ممكنًا.