Yes, python and C also do not have properly statically typed errors. In python, well, python's a dynamically typed language so of course it doesn't have static

Yes, python and C also do not have properly statically typed errors. In python, well, python's a dynamically typed language so of course it doesn't have statically typed exceptions. "a better type system than C" is a really low bar. Go should be held to a higher bar than that.