> You can't necessarily re-use Cargo if your language requires type info to link that wouldn't be in the Rust source files generated.

As a supporting point, TypeScript requires definition files (.d.ts) for JavaScript libraries to properly type them. Unless the language has a 1:1 correspondence to Rust types, something similar will probably need to happen.