Carbon is not a programming language (sort of)

Type Inference in Rust and C++

The two factions of C++