I'm only being half tongue in cheek here, but if you follow recent patterns with the growth of functional languages, perhaps find something being mentioned in the computer science journals in the 80s or 90s and imagine it at a bigger scale and with a few twists ;-)
A reinvented version of APL? Some twist on visual programming? Prolog-style logic programming with a built-in graph database? Or just stick 'quantum' on the front of anything?
Yeah good point, although I think the FP revival is reaching top of the current wave. And you know, time and new things have a tendancy to be out of the ordinary.
One thing that seems very near reality, is logical auto completion or partial proover edition. Right now and IDE/typechecker will verify there's a logical path between A and B, but maybe they'll try some capped graph search to find possible paths when you need to compose some functions. I know I've seen similar things at very small scale in high end cgi software. Their node editors will introduce conversion nodes if you try to add scalar to a vector.
procedural programming fully gone and most programs being about metalevel self-adapting (ml or else) parallel agents ?