Modeling your way to consistency
When developing applications with states which require some effort to make them consistent, we can either accept that and write many unit tests to make sure things are consistent, or we can model domains in a better way.
When developing applications with states which require some effort to make them consistent, we can either accept that and write many unit tests to make sure things are consistent, or we can model domains in a better way, leveraging the type system to eliminate as many inconsistencies as possible.