Sophisticated type systems have not been abandoned by any stretch of the imagination. We tried static code generators before, as well as linters and static cod

Sophisticated type systems have not been abandoned by any stretch of the imagination. We tried static code generators before, as well as linters and static code analysis on untyped code, and those have pretty well been proven to be ineffective. All of which are supposedly "new innovations" in Go. So if you want to defend Go that's not an approach you can really take.