Another prediction: there will be a swing back toward dynamic languages, or at least toward extremely fast PHP-like, R-like, shell-like iteration. The language

Another prediction: there will be a swing back toward dynamic languages, or at least toward extremely fast PHP-like, R-like, shell-like iteration. The language will either be dynamically typed or have an ultra fast (optional?) type checker. Or maybe 2 execution modes. The constraints of human cognition change very slowly, and iterative feedback will be as valuable in 2030 as it ever was. Right now there is a natural swing toward statically typed languages because so many huge codebases were built in dynamic languages (Wikipedia, YouTube, etc.), and people are understandably having trouble maintaining them. And the user base of web services has increased by an order of magnitude in the last decade, while Moore's law has stalled, so compiling to machine code with static types makes a lot of sense. But in 2030 people will still want to iterate quickly on their code. note: Maybe parallel / incremental typechecking will become commonplace. Fast feedback is incompatible with the status quo of single-threaded type checkers because type checking is a "global" algorithm, it scales non-linearly, and codebases are growing.