To be honest, while I am empathic to the argument you're making I think it's orthogonal. There is a fundamental difference in the design of languages to consider and then, atop that, one about actual existing technologies and their platforms.

I agree that Go's workflow philosophy is great. I wish more languages adopted it. But that's the thing, it's easily mixed and matched. On the other hand, making something like Ruby genuinely type-theoretically typed, while an admirable and interesting goal, will probably never happen. Their worlds are just different.