This book explains how Rust achieves this combination via a sophisticated and flexible type system, working together with a novel “borrow checker.” Rust promises:

• No null pointer dereferences. Programs won’t crash because you forgot to check whether a pointer was null.
• No dangling pointers, no leaks. Every value will live as long as it must, and no longer.
• No buffer overruns. Your program will never access elements beyond the end or before the start of an array.

With this book, you’ll learn how to put Rust’s safety, performance, and trustworthy concurrency to use, and you’ll understand how the type system and borrow checker affect the way you write your code.