> That’s the core of what Rust is doing: it provides you with a language to precisely express the contracts between components, such that components can be inte

> That’s the core of what Rust is doing: it provides you with a language to precisely express the contracts between components, such that components can be integrated in a machine-checkable way. That's a nice description of rust.