> The more work the compiler does, the less we have to keep track of in our head There’s two sides to this: on the one hand, you don’t have to keep as much inf

> The more work the compiler does, the less we have to keep track of in our head There’s two sides to this: on the one hand, you don’t have to keep as much info in your head because the compiler will tell you if you ask it. On the other hand, when you do try to keep state in your head, the compiler is able to double-check that for you so that you don’t have to do it perfectly. With a language like Python, you’re working without a safety net, so you make small, cautious, steps in order to not fall. A strongly-typed language like Rust enables you to make larger, bolder, changes in one go, confident that the little mistakes will get caught.