Rust is a strongly typed and statically typed language. The types of all variables is known at compilation time.