لغة البرمجة Typed Lua هي لغة برمجة مضافة إلى عائلة Lua المعروفة، والتي تتميز بقوة Lua ولكن مع إضافة نوع التحقق (Type Checking) والتحكم فيه. ظهرت هذه اللغة لأول مرة في عام 2019، وتم تطوير مترجم خاص بها يُعرف بـ “Teal”. يُعتبر Teal مُعتمدًا على Typed Lua، وهو نوع من Lua مع نظام نوع قوي.
تتيح لغة Typed Lua للمطورين تعريف أنواع البيانات وتحديدها مسبقًا، مما يساعد في تجنب الأخطاء الشائعة وتحسين صيانة البرامج على المدى الطويل. يتم ذلك عن طريق إضافة تعليمات نوع جديدة إلى الكود، والتي تعمل على تحديد البيانات التي يتم التعامل معها والعمليات المسموح بها عليها.
من ناحية أخرى، يُعتبر Teal مترجمًا يقوم بترجمة الكود المكتوب بتنسيق Teal إلى Lua، مما يُمكّن المطورين من استخدام ميزات Typed Lua وفوائدها دون الحاجة إلى تعديل مُكتبات Lua الموجودة. يُعتبر استخدام Teal في تطوير تطبيقات Lua مفيدًا جدًا، خاصةً في المشاريع الكبيرة التي تتطلب الأمان والموثوقية.
يمكن العثور على تفاصيل إضافية عن لغة البرمجة Typed Lua ومشروع Teal في مستودعها على موقع GitHub، حيث يتوفر معلومات حول الاستخدام والتوثيق ومساهمة المجتمع. كما يمكن الاطلاع على التعليمات والأمثلة في موقع المشروع الرسمي إذا كان متوفرًا.