Typed Lua might be worth checking out: https://github.com/andremm/typedlua (disclaimer: I haven't used it yet)