> Neither do most programming languages.

Rust is trying to replace C++ and C in particular. Those languages have specifications.