I think it can certainly win as the type systems / inference get better, and languages with those characteristics are ported to mature platforms with good libra

I think it can certainly win as the type systems / inference get better, and languages with those characteristics are ported to mature platforms with good libraries, etc. The real appeal of what we today call "dynamic languages" is leaving type-checking up to the programmer, so in essence all programs are typed - just so happens that some don't formalize it inside the code. A good compromise until then is gradual typing.