Yet another team that switches to Luau for scripting; they even made their own VS Code extension.
I gave Luau a try recently but the syntax for external type declarations is undocumented and unstable, which made it awkward to test properly, and the available VS Code extensions default to a Roblox environment until you mess with their settings.
So mixed feelings for now, I guess this is why they built their own tooling for it.
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.
I gave Luau a try recently but the syntax for external type declarations is undocumented and unstable, which made it awkward to test properly, and the available VS Code extensions default to a Roblox environment until you mess with their settings.
So mixed feelings for now, I guess this is why they built their own tooling for it.