Luau koodi avamine, tüübituvastusega Lua keele variant

On teatatud lähtekoodide avamisest ja esimese eraldi väljaande väljaandmisest Luau programmeerimiskeelest, mis arendab edasi Lua keelt ja on tagurpidi ühilduv Lua 5.1-ga. Luau keel on peamiselt mõeldud skriptitöötluse sisestamiseks rakendustesse ning on suunatud kõrgele jõudlusele ja madalale ressursikasutusele. Projekti kood on kirjutatud C++ keeles ja avatud MIT litsentsi all.

Luau laiendab Lua-d tübituvastuse võimalustega ja mõne uue süntaktilise konstruktsiooniga, näiteks stringi literaalidega. Keel on tagurpidi ühilduv Lua 5.1-ga ja osaliselt uuemate versioonidega. Toetatakse Lua Runtime API-d, mis võimaldab Luau-d kasutada olemasoleva koodi ja sidumistega. Keelte runtime põhineb tugevalt ümber töötatud Lua runtime 5.1 koodil, kuid tõlgendaja on täielikult ümber kirjutatud. Arenduses on kasutatud mõningaid uusi optimeerimistehnikaid, mis on võimaldanud saavutada kõrgemat jõudlust võrreldes Lua-ga.

Projekt on välja töötatud Roblox'i poolt ning seda kasutatakse mänguplatvormi, mängude ja kasutajarakenduste koodis, sealhulgas Roblox Studio redigeerijas. Alguses arendati Luau-d suletud uste taga, kuid lõpuks otsustati viia see avatud projektide hulka, et võimaldada edasist koostööd kogukonna osalusel.

Põhiomadused:

• Järkjärgne tüüpide süsteem (Gradual typing), mis asub dünaamilise ja staatilise tüpiseerimise vahel. Luau võimaldab kasutada staatilist tüpiseerimist vastavalt vajadusele, osutades tüüpide teavet spetsiaalsete annotatsioonide kaudu. Pakutakse sisseehitatud tüüpe 'any', 'nil', 'boolean', 'number', 'string' ja 'thread'. Samuti on säilinud võimalus kasutada dünaamilist tüpiseerimist ilma muutujate ja funktsioonide tüüpide selge määratlemiseta. function foo(x: number, y: string): boolean local k: string = y:rep(x) return k == "a" end
• Stringi literaalide tugi (nagu Lua 5.3-s), näiteks "\0x**" (kuusnurkne number), "\u{**}" (Unicode märk) ja "\z" (rea lõpp), samuti numbrite visuaalne vormindamine (võib kirjutada 1_000_000 asemel 1000000), literaalid kuusnurksete (0x…) ja binaarne numbrite jaoks (0b…….).
• Toetame väljendi „continue”, mis täiendab olemasolevat võtmesõna „break”, uue tsükli iteratsiooni läbiviimiseks.
• Toetame komposiitmääramisoperaatoreid (+=, -=, *=, /=, %=, ^=, ..=).
• Toetame tingimusblokke „if-then-else” väljendite kujul, mis tagastavad väärtuse, mis arvutatakse ploki täitmise käigus. Lubatakse määrata suvaline arv „elseif” väljendeid plokis. local maxValue = if a > b then a else b local sign = if x 0 then 1 else 0
• Isolatsioonirežiimi (sandbox) olemasolu, mis võimaldab käitada usaldamatut koodi. Antud võimalust võib kasutada, et käitada kõrvuti oma koodi ja kolmandate osapoolte arendajate kirjutatud koodi, näiteks raamatukogusid, mille turvalisuse osas ei saa kindel olla.
• Standardraamatukogu piiramine, kust on eemaldatud funktsioonid, mis võivad potentsiaalselt tekitada turvaprobleeme. Näiteks on standardkomplektist välja jäetud teek „io” (failidele juurdepääs ja protsesside käivitamine), „package” (failidele juurdepääs ja moodulite laadimine), „os” (on eemaldatud failidele juurdepääsu ja keskkonnamuutujate muutmise funktsioonid), „debug” (ebaturvaline mälu kasutamine), „dofile” ja „loadfile” (juurdepääs FS-ile).
• Pakutakse tööriistu staatiliseks koodi analüüsiks, vigade leidmiseks (linter) ja tüüpide õige kasutuse kontrollimiseks.
• Oma kõrge jõudlusega parser, baytkoodi tõlkija ja kompilaator. Luau ei toeta veel JIT-kompileerimist, kuid väidetakse, et Luau tõlkija on mõnes olukorras jõudluse osas võrreldav LuaJIT-iga.

Allikas: opennet.ru