Type annotations are the main benefit. It's also much faster than Lua 5.1, but I don't know how it compares to 5.4.
Would love to see these in the LuaJIT but I think its considered "done"
https://github.com/zewt/LuaJIT/commit/c0e38bacba15d0259c3b77...