In this section, you’ll be introduced to the core concepts in Savi that we’ll refer to throughout the rest of the documentation.

Your goal here should be to get a broad mental map of these concepts, then refine and solidify your understanding by reading the other sections.

You may already be familiar with some of these concepts from experience with other languages, but it’s important to start to map out how they relate to Savi in particular.

Learn about approaches for making programs safe from data races, and how Savi incorporates these ideas to guarantee safety.

Learn about how mutable and immutable access patterns are represented and enforced in Savi, and how they can coexist without compromising safety guarantees.

Learn about how uniqueness of ownership is preserved for isolated values, and how to alias or extract such values from a variable.