Arguably every language has a type system. Go provides only the most rudimentary type checking. I was lamenting that so much mindshare is devoted to go instead

Arguably every language has a type system. Go provides only the most rudimentary type checking. I was lamenting that so much mindshare is devoted to go instead of a more general purpose language, not claiming there's a more convenient language. If that mindshare had been devoted to another language, there's no telling what language would be as convenient as go. But most developers care about more than convenience.