https://the-ravi-programming-language.readthedocs.io/en/latest/ravi-overview.html
https://github.com/andremm/typedlua
https://github.com/teal-language/tl
https://luarocks.org/