[Haskell-cafe] Language simplicity

Andrew Coppin andrewcoppin at btinternet.com
Wed Jan 13 14:28:08 EST 2010

Marc Weber wrote:
>> As you can see, this conclusively proves... something.
> What about brainfuck? 8 different signs are used.
> -> http://de.wikipedia.org/wiki/Brainfuck#cite_note-0
> The first link points to a page saying there is an interpreter 98 bytes
> in size..
> What does this prove? :-)

Exhibit A: The Iota calculus.

It has one value (the Iota function), and one operator (function 
application). It is Turing-complete.

I have literally *no idea* how big an interpretter would be...

More information about the Haskell-Cafe mailing list