Luau: rozšíření jazyka Lua o statické typové kontroly a typovou inferenci

Jazyk Lua je postaven dynamickém typovém systému, v němž jsou typy vztaženy k hodnotám a nikoli k proměnným či parametrům funkcí. Pro rozsáhlejší projekty je však výhodnější využívat statické typové kontroly. Programovací jazyk Lua patří mezi typické představitele dynamicky typovaných jazyků. V první řadě to znamená, že typy jsou kontrolovány (až) v době běhu programu, tedy v runtime (což znamená, že i případné chyby jsou hlášeny až v runtime). Navíc nejsou typy přiřazené proměnným či parametrům funkcí, ale přímo hodnotám. To mj. také znamená, že se při vytváření proměnných neuvádí jejich typ, protože interpret či just in time překladač použitý datový typ rozpozná přímo z toho, jakým způsobem je hodnota proměnné zapsána.