I dunno, a lot of modern language academic research and push are going towards a very compile-time-typing-everywhere mode. see Haskell and Idris, for instance
And a huge proportion of language research gets ignored by the mainstream, so it's not a very useful indicator.
For static typing to "win" (and though my favourite language these days is Ruby, I hope it does in the long run), it will need to become near transparent.
If type inference is sufficiently advanced to avoid almost all type annotation, and the type system just gets out of your way 99% of the time, then yes, dynamically typed languages might be heading for extinction.
But you'll have to wait a very long time for that, judging by the current crop of statically typed languages.
For static typing to "win" (and though my favourite language these days is Ruby, I hope it does in the long run), it will need to become near transparent.
If type inference is sufficiently advanced to avoid almost all type annotation, and the type system just gets out of your way 99% of the time, then yes, dynamically typed languages might be heading for extinction.
But you'll have to wait a very long time for that, judging by the current crop of statically typed languages.