▲ | manx 3 days ago | |
This pre-AI article makes a very similar argument: https://mortoray.com/programming-wont-be-automated-or-it-alr... Once we realize that what we actually want is turning specifications into software, I think that English will become the base for a new, high level specification language. | ||
▲ | skydhash 3 days ago | parent [-] | |
We are turning specifications into software precisely because English (and any natural languages) lacks the formality that makes it not reliable (necessary quality for a tool), but great for imagination (the source of invention). We always start from natural language. RFC, docs, tickets,... are in natural language. But gaining formality (losing ambiguity) is what programming is (software engineering is doing programming well). People that struggled with programming struggle in fact with formality. |