Comment by wyozi

Funnily enough the state of art in typed lua is typescript: https://github.com/TypeScriptToLua/TypeScriptToLua