There is a new edition of the book and this is an old link.
Rust is astatically typed language, which means that it must know the types of all variables at compile time.The compiler can usually infer what type we want to use based on the value and how we use it.In cases when many types are possible, atype annotation must be added.
Here are the relevant sections in the new and old books: