3 ms·
To me, it seems like there will be a finite set of pre and post conditions ever needed for 99% of future programming, and eventually everything will be a catalo
by bb88 3y ago
To me, it seems like there will be a finite set of pre and post conditions ever needed for 99% of future programming, and eventually everything will be a catalog of the conditions to working code.
One just needs a language to write those conditions in.
- foota 3y agoI'm not sure how to phrase this, but it seems like there's some trade off between how easy it is to express a condition, and how easy it is to verify that it holds in an imperative language. One the one hand you have declarative languages, and on the other imperative languages. Not sure where I'm going with this, but I think there's something there.