Every 10-15 years someone comes in declaring: ”Programming is dead! From now on we only write specifications in a language anybody can understand.”

But it always hits the same problem: Natural language is not good for describing systems of deterministic formal logic. If it was, we’d not have had to invent symbolic mathematic notation, flowcharts, etc to describe them.

The cycle might yield a new #programming language.

I hope they plan to pay extremely well, because this one would looks like Hell to me.