The Rust Programming Language
https://rust.cc/
https://wayslog.com/2017/03/28/Rust-Type-System/
Rust and Go (中文)