Add an option for srb tc to output in json format

[hdoan741]

Problem

I want to analyze the result of srb tc with some tool. I'd like to have a format that's more programmatically friendly.

Proposed solution

Add an option for srb tc to output in json format

> srb tc --format=json

[jez]

We've been pretty hesitant to add this feature in the past (it was one of the first features I tried to implement when I joined the team and I was taught that this is not as great as it sounds).

Adding something to serialize errors to JSON requires committing to some sort of API stability, which is hard. We're already forced to do this to some extent with the LSP editor integration: each language client operates with the guarantee that the LSP spec is more or less stable. So we'd prefer to just have LSP, and not have to re-implement something that approximates LSP to get this feature.

And what's more, the things that people usually want a JSON output format for are actually just things that an LSP editor plugin would do anyways. So at that point, why not just use LSP?

We've instrumented many codemods at Stripe on top of Sorbet using no more than the existing flags—in particular, the first line of the error message is pretty reasonable to parse with bash.

If you can come back with specific things that the existing console output isn't good enough to support right now, I'm happy to track those in separate issues, but the generic feature request of "--format=json" seems like it's a solution in search of a problem to me.