Mainly that there are many ways to express things, and inertia means reasonably effective solutions within existing type systems limits the push for more expressivity. Programming languages are slowly converging on features (e.g. lambdas) but it's a slow convergence. I think programming languages over time will get more complex, but more concepts will be portable