the goal is to make it "easy" for the users to write correct programs

Whose goal are we discussing here? Go's principal design philosophy is to keep the language explicit and straightforward, so you can quickly bring new people on board and maintain code you have never seen before without too much hassle. Even reading through the standard library codebase should not require much more than a basic grasp of the syntax. In that sense, I believe Go is very well designed.