Отворен е кода на 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