He brings Rust-like guarantees into Go, without sacrificing its fast compilation, simple syntax, and strong concurrency model ...