> when I approach a programming problem, I first think about the types and abstractions that will be useful; I think about statically enforcing behaviour;

That's it. A large majority of the people don't think on those terms.

Go tries to be pragmatic and hit a decent balance between productivity and language features.