[Haskell-cafe] Language simplicity
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