This isn’t nearly so clear-cut as you make it out to be—compilers today often treat “imperative” languages as declarative, and CPUs are a lot more sophisticated

This isn’t nearly so clear-cut as you make it out to be—compilers today often treat “imperative” languages as declarative, and CPUs are a lot more sophisticated than “fetch-decode-execute” implies. (Yesterday I was looking at some code where GCC took a fairly complicated for-loop and turned it into about four assembly instructions, all with incomprehensible acronyms.) COBOL’s fall from grace was due in no small part to the syntax rather than the semantics, and I expect that trend to continue: I wouldn’t be surprised if the languages of 2050 are similar to the languages of today, just with more expressivity, better communication between compiler and programmer, and an even larger range of optimizations under the hood.