There are various ways to (de)couple the compiler to/from vscode, but it's definitely handy to have inline typechecking. Is this possible without running the compiler?

How would they show syntax highlighting otherwise?

The language server, maybe?