If Go people succeeded with taking over some C area, that would be the direction right enough, don't you think? Simply because Go seems a bit better than C.

I'd love to see some modern SML or Haskell taking over the area of code compiled to binary, plus a constant growth of dynamic languages as well, because they are also cool. But that big revolution may not happen.

Probably Microsoft's F# is the modern SML with more chances to become mainstream and start that big revolution.