زبان Teal؛ گویشی نوع‌بندی‌شده و ایستا برای زبان Lua

زبان Teal چیست؟

زبان Teal یک گویش نوع‌بندی‌شده (Statically-typed) برای زبان برنامه‌نویسی محبوب Lua است. اگر با اکوسیستم جاوا اسکریپت آشنا باشید، می‌توانید Teal را به عنوان معادل TypeScript برای Lua تصور کنید. این زبان با افزودن انوتیشن‌های نوع (Type Annotations) به ساختار Lua، امکان تعریف آرایه‌ها، مپ‌ها، رکوردها، اینترفیس‌ها، انواع یونیون (Union Types) و جنریک‌ها را فراهم می‌کند.

هدف اصلی این پروژه، رفع یکی از بزرگ‌ترین دغدغه‌های توسعه‌دهندگان در مقیاس‌های بزرگ است: افزودن ایمنی نوع (Type Safety) بدون از دست دادن روحیه اصلی Lua که همان سادگی، مینیمالیسم، قابلیت حمل بالا و قابلیت جاسازی آسان (Embeddability) است.

جزئیات فنی و نحوه کارکرد

زبان Teal به عنوان یک کامپایلر به نام tl پیاده‌سازی شده است. وظیفه این کامپایلر تبدیل فایل‌های سورس با پسوند .tl به کدهای استاندارد .lua است تا در نهایت روی ماشین مجازی استاندارد Lua اجرا شوند. نمونه‌ای ساده از نگارش این زبان به شکل زیر است:

local function add(a: number, b: number): number
   return a + b
end

local s = add(1, 2)
print(s)

ابزارها و اکوسیستم

برای توسعه پروژه‌های بزرگ‌تر با Teal، ابزارهای مختلفی توسعه داده شده است:

• Cyan: ابزار رسمی بیلید (Build Tool) که برای مدیریت و ساخت پروژه‌های Teal طراحی شده است.
• LuaRocks: پکیج منیجر اکوسیستم Lua که نصب کامپایلر tl از طریق آن به سادگی امکان‌پذیر است.
• IDE Integration: افزونه‌هایی مثل vscode-teal برای VS Code و teal-language-server برای NeoVim و سایر ویرایشگرها فراهم شده‌اند.
• Playground: محیط آنلاین برای تست سریع کدهای Teal به طور مستقیم در مرورگر.

این پروژه توسط Hisham Muhammad بنیان‌گذاری شده و توسط جامعه‌ای از توسعه‌دهندگان گسترش یافته است. جالب اینکه خود کامپایلر Teal نیز با استفاده از خود زبان Teal نوشته شده است و تحت لایسنس آزاد و متن‌باز MIT (مشابه Lua) منتشر می‌شود.

چرا برای مهندسان نرم‌افزار اهمیت دارد؟

زبان Lua به خاطر سرعت بالا و مصرف پایین منابع در حوزه‌های مختلفی مثل بازی‌سازی (به عنوان زبان اسکریپت‌نویسی موتورهایی مانند Neovim، Roblox و LÖVE)، سیستم‌های امدادی و ابزارهای شبکه کاربرد فراوانی دارد. با این حال، بزرگ شدن کدهای Lua همواره با چالش نگهداری و خطاهای زمان اجرا (Runtime Errors) به دلیل پویایی زبان همراه بوده است.

استفاده از Teal به مهندسان اجازه می‌دهد در زمان توسعه و پیش از اجرای کد، خطاهای مربوط به نوع داده را کشف کنند. در بحث‌های جامعه هکرنیوز (Hacker News)، مقایساتی با پروژه‌های مشابه نظیر Luau (زبان توسعه‌یافته توسط Roblox) انجام شده و برخی کاربران کاربرد این‌گونه پروژه‌ها را فراتر از آزمایش‌های تجربی، گامی جدی برای توسعه سیستم‌های بزرگ‌تر دانسته‌اند.