DJMcMayhem / Brain-Flak

A minimalist esolang
MIT License
86 stars 12 forks source link
brain-flak esoteric-language language turing-tarpit

Brain-Flak

Brain-Flak is an "Turing-tarpit", e.g. a language which can, in theory compute anything, but in reality is very inconvenient and painful to use. It was heavily inspired by Brainf**k, the original turing-tarpit.

To get started with Brain-Flak, download the project from here, and run ruby brain_flak.rb inputs. Additionally, you can try it online! (Online intrepreter provided thanks to @DennisMitchell)

Tutorial

Brain-Flak has two stacks, known as 'left' and 'right'. The active stack starts at left. If an empty stack is popped, it will return 0. That's it. No other variables. When the program starts, each command line argument is pushed on to the active stack.

The only valid characters in a Brain-Flak program are ()[]{}<>, and they must always be balanced. There are two types of functions: Nilads and Monads. A nilad is a function that takes 0 arguments. Here are all of the nilads:

These commands are added together when they are evaluated. So if we had a '3' on top of the active stack, this snippet:

()(){}

would evaluate to 1 + 1 + active.pop() which would evaluate to 5.

The monads take one argument, a chunk of Brain-Flak code. Here are all of the monads:

The (...) monad will also evaluate to its argument, so

(()()())

Will push 3 but

((()()()))

Will push 3 twice.

The {...} monad will evaluate to the sum of all runs. So if we had '3' and '4' on the top of the stack:

{{}}

would evaluate as 7.

When the program is done executing, each value left on the active stack is printed, with a newline between. Values on the other stack are ignored.

That's it. That's the whole language.

Sample code

Here are some full programs that do interesting things.

Adding two numbers:

({}{})

Multiplying two numbers (Positive only):

{({}<(({})<>{})<>>[()])}<>

Square a number (Positive only):

({({})({}[()])}{})

Print the first N Fibonacci numbers:

<>((()))<>{({}[()])<>({}<>)<>(({})<>({}<>))<>}<>{}{}