Category:BlooP: Difference between revisions

Line 1:

BlooP and it's sister language Floop are 'theoretical' languages with several implementations, created by Douglas Hofstadter in his book Gödel, Escher, Bach, to demonstrate the halting problem.

BlooP and it's sister language Floop are 'theoretical' languages with several implementations, created by Douglas Hofstadter in his book ''Gödel, Escher, Bach'', to demonstrate the halting problem.

The name BlooP is short for Bounded Loop, the primary structure of the language. FlooP is identical to BlooP in every way except that it also sorts unbounded loops. FlooP is tiring complete, where BlooP is not. There is also a third, impossible language paired called GlooP, which can solve the halting problem.

BlooP and FlooP have only 1 data type: non-negative integers (natural numbers). There are also only 2 variables, OUTPUT, which is the value returned by a procedure, and CELL(i), which is an unbounded series of numbers.

BlooP and FlooP have only 1 data type: non-negative integers (natural numbers). There are also only 2 variables (except parameters to procedures): <code>OUTPUT</code>, which is the value returned by a procedure, and <code>CELL(i)</code>, which is an unbounded series of numbers.

The operators that exist in BlooP and FlooP are:

*<= : Assignment

*<code><=</code> : Assignment

*+ : Addition

*<code>+</code> : Addition

*~~&lowast;~~ or x (depending on implementation): Multiplication

*<code>*</code> or <code>x</code> (depending on implementation): Multiplication

*> : Greater Than

*<code>></code> : Greater Than

*< : Less Than

*<code><</code> : Less Than

*= : Equals

*<code>=</code> : Equals

Note that subtraction and division are conspicuously missing, as are modulus and exponentiation. These can and must be defined in terms of loops and the provided operators.