3 ms·
And the reason the smart person decided Goto was bad has little relevance on programming today - he showed that Goto made it harder to prove, mathematically, th
by edanm 15y ago
And the reason the smart person decided Goto was bad has little relevance on programming today - he showed that Goto made it harder to prove, mathematically, that a program was correct.
When was the last time someone proved a program correct?
- indiecore 15y agoSeveral seconds ago I would assume. Just because real computer science doesn't get talked about much here doesn't mean that it doesn't exist. As an addendum GOTO is still bad because it is much harder to parse (as a human reading the code) than using equivalent branching control statements. That was the whole point of Goto considered harmful, it's not mathematically needed so it's not syntactically needed either.