Strong and weakly typed don't mean what you think they do. Strong typing is not about the expressiveness of a type system, rather about it having type safety,

Strong and weakly typed don't mean what you think they do. Strong typing is not about the expressiveness of a type system, rather about it having type safety, being memory safe and having static type-checking, and not having unsafe type conversions (and to a lesser extent implicit type conversions) and unions. What you meant to say was Rust's type system is more expressive then that of Go's.