Great article, very thoughtful. I agree with everyone else about C++, but it's a detail.

I disagree that future programming languages will just "know what type you mean" like the AI. That isn't engineering!, by which I mean, we won't be able to write extremely reliable programs that way.