90% confident programming languages will change to be more type safe, I'm going to say this is going to be where FP is now by about 2030.

50% chance of a new OOP language that incorporates a stronger type system to solve the problems of Java.

Rust has been why I've come to develop this opinion, going back to C code after Rust was difficult. Going back to python after some Haskell was also difficult. Type systems are an underrated productivity tool/feature.