Отворен код за Luau, вариант за проверка на типа на езика Lua

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

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

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

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

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

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