I love his specific examples. > Make sure that a certain datastore is only read from in a certain context ... Ensure fallbacks for all uses of a secondary data

I love his specific examples. > Make sure that a certain datastore is only read from in a certain context ... Ensure fallbacks for all uses of a secondary data-store ... joins between tables that have no business being joined I wish linters / typesystems were extensible enough to do this kind of domain-specific checking. There's a new generation of static analysis that's much more focused on architecture or business rules and is less about code-in-the-small concerns like class methods or operator compatibility.