All good, except that going forward the new languages to be designed are going to be specifications and formal verification for agents.

I think the way of classical programming languages is behind us, unless AI implodes and we are back to programming without it.