I tend to agree on the importance of better type systems for achieving safety. But Golang IMHO _is_ a step forward, albeit an unsatisfyingly weak one. It's dis

I tend to agree on the importance of better type systems for achieving safety. But Golang IMHO _is_ a step forward, albeit an unsatisfyingly weak one. It's displacing C and dynamic languages like Python, and it's at least safer than those.