[aij]

Static linking does not preclude separate compilation though. Go and Rust both use separate compilation with static linking by default (at least last I used them... it's been a while). I know Rust at least used to support dynamic linking too -- it just wasn't the default. And C also supports static linking of course.

[choeger]

I don't think Rust uses separate compilation. And go just seems to not care about a stable ABI.

[pjmlp]

It surely does, you can pack crates as rlibs.