Type Inference in Rust and C++
herecomesthemoon.net