And by the same token programming languages that prove correctness and 'make illegal state un-representable' will be a growing trend in the future.
The shear number of programming languages will reach a pinnacle to where we give up on Haskell vs. Java and just say: here are some levers - you set them up and we'll spit you out a programming language and platform that meets your needs.