I have API use that falls into a few categories, that aren' just LSP-ish type cases:

- Transforms, which presumably there has to be some solution for, even if it's porting to Go.

- Linters, which integrate with typescript-eslint and need the type-checker.

- Codemods, which create and modify AST nodes and re-emit them.

- Static analyzers, which build us app-specific models of the code and rely on AST traversal and the type-checker.

- Analyzer libraries that offer tools to other libraries and apps that expose the TypeScript AST and functions that operate on AST nodes.

Traversing the AST over IPC is going to be too chatty, so I presume there will have to be some sort of way to get a whole SourceFile in one call, but then I wonder about traversal. You'll need a visitor library on your side of the IPC at least, but that's simple. But then you also need all the predicates. You don't want to be calling ts.isTemplateExpression() on every node via IPC.

And I do all this stuff in web workers too, so whatever this IPC is has to work there.