If you just want static typing, you can write Typescript and compile to Lua: https://typescripttolua.github.io/