Tangent: I also wonder if this correlates with preferring static typing over dynamic typing on programming languages. (Or maybe more generally, using strong co

Tangent: I also wonder if this correlates with preferring static typing over dynamic typing on programming languages. (Or maybe more generally, using strong contracts at subsystem interfaces.) The common thread being that everyone agrees up front what the rules are, and then expects all parties to adhere to them.