If you want to progressively add static types to Lua, decent IDE support, and not worry about transpilation; then you may be interested in my little project: h

If you want to progressively add static types to Lua, decent IDE support, and not worry about transpilation; then you may be interested in my little project: https://github.com/Benjamin-Dobell/IntelliJ-Luanalysis/ https://github.com/Benjamin-Dobell/IntelliJ-Luanalysis/ https://plugins.jetbrains.com/plugin/14698-luanalysis https://plugins.jetbrains.com/plugin/14698-luanalysis It's essentially Flow for Lua. It's not at all trying to be its own language, but rather been built out of my own needs to write maintainable code in environments that only run Lua.