3 ms·
> his "Structured Programming" approach makes absolutely zero guarantees on correctess or even verifiability That was never the claim. The claim was humans us
by rstuart4133 3y ago
> his "Structured Programming" approach makes absolutely zero guarantees on correctess or even verifiability
That was never the claim. The claim was humans using "Structured programming" produced code with less bugs than humans using other methods. "Humans" being the key word here, a compiler will happily produce perfect programs every time just using goto's (because there is no choice in assembler). But when humans use goto's it's usually a disaster.
History has vindicated him big time. Many modern languages don't have goto's, precisely for this reason.
- throwawaaarrgh 3y agoTo add to that: a "correct and verifiable" program isn't necessarily better. If I decided to make food using chemistry which is "correct and verifiable" as being the healthiest food in the world, it would probably taste terrible.