You can get pretty far by bolting annotations onto Lua (no compilation step), for example using my IDE: https://github.com/Benjamin-Dobell/IntelliJ-Luanalysis

You can get pretty far by bolting annotations onto Lua (no compilation step), for example using my IDE: https://github.com/Benjamin-Dobell/IntelliJ-Luanalysis https://github.com/Benjamin-Dobell/IntelliJ-Luanalysis Admittedly, I've been focused on some other things recently, but still with some focus on type safety e.g. https://breaka.club/blog/godots-most-powerful-scripting-language https://breaka.club/blog/godots-most-powerful-scripting-lang...