Generated types are much better than manually-updated types when you've got a source of truth that lives in a different codebase, but I can't help feel like we could do better. I wish there were a "lingua franca" for type declarations that could be understood directly by different languages. Not only would you avoid the mess that is generated source code, but it could be a n^2 -> 2n situation, like LLVM and LSP, where you only have to translate to and from this common ground instead of to and from every combination of leaves.<p>Unfortunately it might be pretty challenging given how different type systems can be. But maybe if you started with a subset of popular languages that have similar-enough type concepts?