@xianc78 Well, static typing is nice to have but too many languages lack type inference.
And I think the good sides of static typing go away when weak (ie. implied casts) as it becomes a barrier with almost no real protection afterwards. (at least in the case of C the compiler can warn you but that's for your own code)

@lanodan Well, it seems like type inference and pattern recognition is slowly becoming the norm. My CS professor says that languages are slowly moving away from C-like syntax and more ML or Haskell-like. Not necessarily going full functional programming but using features from those languages.

@xianc78 Maybe be careful of not going too much towards academic languages though, a CS professor likely has a huge bias on this, I would recommend looking a bit at what languages show up in job offerings and you'll probably rarely see languages like ML or Haskell outside of research institutions. (And I'm saying this with INRIA being in my neighboring city)

And for system programming C is a huge mountain that's likely not going to move any time soon and trying to mix C and other languages in the same codebase is often a mess.

@lanodan I don't think he meant anytime soon. He tried to show us more obscure languages because languages do come and go. And yeah, I bet most of the job offerings are going to be stuff like C++, JavaScript, Java, Python, etc. I have very limited knowledge on ML and Haskell anyway and most of our programming work in our college is C++ and Java. We only used ML for one class just to get out of our comfort zones.