Types & Type Inference (Rust)

Rust is statically and strongly typed: every value has a type known at compile time.