Type Inference in Rust and C++ | Hacker News Reader