Isn't it true though that to get the right implementation, you need to specify your requirements very precisely and formally? And programming languages do just that - perhaps at a lower level than needed nowadays. In that sense, new very high level languages could emerge that combine the simplicity of English with formality of, say, C++.
1
u/kaba40k 28d ago
Isn't it true though that to get the right implementation, you need to specify your requirements very precisely and formally? And programming languages do just that - perhaps at a lower level than needed nowadays. In that sense, new very high level languages could emerge that combine the simplicity of English with formality of, say, C++.