Hacker Newsnew | comments | ask | jobs | submitlogin
tptacek 533 days ago | link | parent

All of structured programming consists of various controlled forms of goto.

m0nastic 532 days ago | link

Yesterday, I found an email from Jon Callas where he was giving advice on where SAML falls in the Chomsky hierarchy of languages:

"If it has backwards gotos in any form, it's Turing-complete. Loops, recursion, etc. are backwards gotos. If-then-else is a forward goto."

I hadn't ever thought of things that way, but I thought it was interesting.


hvs 532 days ago | link

Once you've worked in assembly language, you realize everything is just another form of jmp.


awj 532 days ago | link

That's the point of the article, though: callbacks don't offer enough structure to effectively reason about.


Lists | RSS | Bookmarklet | Guidelines | FAQ | DMCA | News News | Feature Requests | Bugs | Y Combinator | Apply | Library