While i really love static typing, saying that Go type system help here is... plain false. Go type system, like its predecessor Java, C and company do not help

While i really love static typing, saying that Go type system help here is... plain false. Go type system, like its predecessor Java, C and company do not help for that. These are not sound type system. At best they are help for the compiler to decide how to allocate memory or to try to get polymorphism.