[petre]

> Go type system definitely has problems that aren't addressed by its designers

Wouldn't that break the promise of backwards compatibility that they made with major versions? They could probably do that in Go 2.

Personally, I think D is a more mature language, design wise, although it's a bit lacking in terms of libraries compared to Go and the tooling is, also lacking compared to Rust.