luau-lsp

That's not it, I mean the "declare" statements that aren't even listed in the grammar, but are needed to give the type checker information about C API exports; I had to discover them by digging through source code. The analyzer even hardcodes a bunch of them. luau-lsp for example ships this globalTypes.d.lua file[1] for Roblox development and lets you configure your own. [1]: https://github.com/JohnnyMorganz/luau-lsp/blob/4b7872349d9b8...

I use Luau in my games and tools [1], and I recommend it. While I can't speak to transitioning to it from Lua, since I didn't do that, I can say that it's fast, stable, sandboxing just works (important for your use case), and it's very well supported and regularly updated. For context, I first started using Luau as an experimental hack by integrating it with Unity. I mostly just wanted fast and simple hot reloading. I found myself writing more and more of it, and now I'm writing most of my code in it. VS Code support is pretty good via the luau-lsp language server [2]. Type support for certain code patterns isn't great yet, but there are RFCs to improve this. They're also quietly working on native code gen and JIT support, e.g. this PR from a few hours ago [3]. Overall, recommended! You're not crazy. [1] https://twitter.com/kineticpoet [2