[bitwize]

Go has the nice quality (shared with Pascal) that it pretty much sticks to being a set of computer instructions, which means when you read Go it's easy to understand more or less exactly what the computer is doing. Great for auditing. Not so great for building large systems as abstractions over types.

[akira2501]

"Not so great for building large systems that are hard to audit due to the level of type abstraction they have access to."

I'll give you that the lack of extensibility is sometimes a unique frustration among programming languages, but this design choice was intentional, and you've incidentally highlighted that, I think.