Most new languages contain a type system. Is that "winning"? It means that the idea of type checking has achieved "flavor of the month" status, but it doesn't mean much more... yet. If some of those languages go on to take over the world, then yes, the fact that they have type checking means that static typing is winning.
And, define "static typing" and "functional programming". So C++ added some elements of functional programming. Does that make C++ a functional programming language? Or does it just make C++ a multi-paradigm language that can be used to do some amount of functional programming?
I claim that "winning" doesn't mean winning in the number of check boxes that languages tick. It means winning in the way the languages are used. If everyone who is programming in C++ starts programming in the functional style, then yes, functional programming is winning. If they don't, then having C++ support functional programming just means they added another paradigm that few people are using.
As for functional programming, I mentioned in the post that adding a few functional features does not mean you have a functional programming language. But again, for years there was a debate over whether the imperative and OO styles were better and if the ideas from functional programming were too esoteric for the mainstream. Now, some of the most popular imperative languages are focusing on first-class functions, higher order functions, pure functions, and immutable data. It'll still take years for all of these ideas to gain widespread usage, but again, it's hard to see these changes and not think that functional programming is winning the debate.
So, again, my starting question: What is your definition of "winning"?
I think a similar metric could apply to functional programming: if the top 10 languages use functional programming in the vast majority of the core libraries and by most major companies, then it has "won". This will likely take longer than static typing, but if companies keep adopting languages like Scala and Clojure, they may crack the top 10 some day.
Of course, it's worth mentioning that what's really "winning" right now is a hybrid model: a mix of static and dynamic typing and a mix of imperative and functional programming. Perhaps, in the long term, we'll find where each type of approach works best, use them side by side, and they'll both "win".