Кодът на Luau, вариант на езика Lua с проверка на типове, е открит.

Обявено е за откритие на изходния код и публикуването на първото самостоятелно издание на езика за програмиране Luau, който продължава развитието на езика Lua и е обратно съвместим с Lua 5.1. Езикът Luau е предназначен основно за вграждане на скриптови обработчици в приложения и е насочен към постигане на висока производителност и ниско потребление на ресурси. Кодът на проекта е написан на C++ и е открит под лицензия MIT.

Luau разширява Lua с възможности за проверка на типове и някои нови синтактични конструкции, като например строкови литерали. Езикът е обратно съвместим с Lua 5.1 и частично с по-нови версии. Поддържа се API на Lua Runtime, което позволява използването на Luau с вече съществуващ код и връзки (binding). Языковият runtime е базиран на силно преработения код на Lua runtime 5.1, но интерпретаторът е напълно презаписан. При разработката са използвани нови техники за оптимизация, които позволяват постигането на по-висока производителност в сравнение с Lua.

Проектът е разработен от компанията Roblox и се използва в кода на игровата платформа, игри и потребителски приложения на компанията, включително Roblox Studio. Първоначално Luau е бил в разработка зад затворени врати, но в крайна сметка е решено да се премине към отворени проекти за по-нататъшно съвместно развитие с участието на общността.

Основни характеристики:

• Последователната система типове (Gradual typing) заема междинна позиция между динамичната и статичната типизация. Luau позволява използването на статична типизация при необходимост, като информацията за типовете се указва чрез специални анотации. Предоставят се вградени типове "any", "nil", "boolean", "number", "string" и "thread". В същото време е запазена и възможността за използване на динамична типизация без явното определяне на типа на променливите и функциите. function foo(x: number, y: string): boolean local k: string = y:rep(x) return k == "a" end
• Подкрепа за строкови литерали (както в Lua 5.3), като "\0x**" (шестнайсетично число), "\u{**}" (Unicode символ) и "\z" (край на ред), както и възможността за визуално форматиране на числа (може да се пише 1_000_000 вместо 1000000), литерали за шестнайсетични (0x…) и двоични числа (0b…….).
• Подкрепа за израза "continue", който допълва съществуващото ключово слово "break", за преминаване към нова итерация на цикъла.
• Поддръжка на комбинирани оператори за присвояване (+=, -=, *=, /=, %=, ^=, ..=).
• Поддръжка за използването на условни блокове «if-then-else» под формата на изрази, които връщат стойност, изчислена по време на изпълнение на блока. Допуска се указването на произволен брой изрази elseif в блока. local maxValue = if a > b then a else b local sign = if x 0 then 1 else 0
• Наличие на режим на изолация (sandbox), който позволява изпълнението на недоверен код. Тази функция може да се използва за организиране на паралелно изпълнение на собствения код и кода, написан от друг разработчик, например, трети библиотеки, чиято безопасност не може да се гарантира.
• Ограничаване на стандартната библиотека, от която са премахнати функции, които потенциално могат да създадат проблеми със сигурността. Например, от стандартния набор са изключени библиотеките «io» (достъп до файлове и изпълнение на процеси), «package» (достъп до файлове и зареждане на модули), «os» (премахнати са функции за достъп до файлове и за промяна на променливи на средата), «debug» (несигурна работа с памет), «dofile» и «loadfile» (достъп до ФС).
• Предоставяне на инструменти за статичен анализ на кода, откриване на грешки (linter) и проверка за коректността на използването на типове.
• Собствени високопроизводителни парсер, интерпретатор на байткод и компилатор. Luau в момента не поддържа JIT компилация, но се твърди, че интерпретаторът Luau в някои ситуации е сравним по производителност с LuaJIT.

Източник: opennet.ru