33 ms·
LOOP (programming language)
- agumonkey 8y agoMay his next language be called Tetration
- niklasd 8y agoWe are learning these (meaning LOOP, WHILE, GOTO) in university right now, the course is designed after a short German textbook of Schöning. The proofs on how powerful they are are quite interesting (e.g. you emulate the syntax of a GOTO program with WHILE statments and thus show WHILE >= GOTO). Does anybody know if these specific theoretical programming languages are of any furter/or in wide use in theoretical CS?
- anyfoo 8y agoI don’t know about the prevalence of any of them in theoretical CS (I’m not in the field and only know about them from university), but LOOP is equivalent to primitive recursion, and WHILE is equivalent to μ-recursion. If not LOOP, WHILE and GOTO themselves, maybe the recursion are prevalent? I imagine they are a bit more convenient for proofs and the like.
- xenadu02 8y agoHow is GOTO not equivalent to WHILE? You can emulate any arbitrary flow-control construct with GOTO.
- antidesitter 8y agoEven addition, subtraction, and variable assignment are unnecessary. All you need is succession: https://esolangs.org/wiki/Restricted_BlooP/FlooP https://esolangs.org/wiki/Restricted_BlooP/FlooP