I knew Luarocks existed, had no idea Teal did, for a second I wondered how this compared to Terra, then realized this is more TypeScript for Lua (which is fine).

It seems like type hints are good for any dynamic language, since they wind up in most of them overall.