View article

One of the most difficult things to reason about when looking at a program is state changes. Which operations can have a side-effect? On which path can data flow? What impacts what? This chapter clarifies what object state is and how we can manage to keep control over its state in a principled way.