From Esolang
Jump to navigation Jump to search

With the obvious interpretation as a brainfuck subset, that is definitely not Turing-complete, since there is no conditional execution or even repetition. Minimal-2D may loop, but still has no conditional execution. See also BF instruction minimalization. --Ørjan 20:22, 10 August 2009 (UTC)

There, now it has 1 conditional command. --Alegend 00:37, 12 August 2009 (UTC)

There are still no loops, and condition doesn't do much (depending on how loops and other control flow are implemented, this conditional might work good though). --Zzo38 02:15, 12 August 2009 (UTC)
Yeah, that is not enough. I think Minimal-2D is TC now with this added, though. --Ørjan 10:43, 12 August 2009 (UTC)

This is not a language. Any language must have 3 well defined items: 1) Gentle introduction - tutorial, necessary for understanding the idea; 2) A formal definition - a description necessary to reduce number of interpretations; and 3) A working compiler, interpreter, or whatever environment to try it out with examples. I propose a simple small table for each language specifying links for each of those items. The author can fill it or leave it unfilled, but the reader would be able to see if any intelligent effort was made to invent and develop the language. --Oleg 03:47, 13 August 2009 (UTC)

Just realized that categories suit for this purpose. --Oleg 06:19, 18 August 2009 (UTC)
Well, it IS my first one. And plus, a BF interpreter, with a small addon, could interpret Minimal. --Alegend 13:32, 13 August 2009 (UTC)
A language doesn't need all that. All it needs is either a description or documentation of how it works, or a working interpreter for reference. It would be nice to have all those things for each language but they certainly aren't required. I'm pretty sure it would be impossible to do that anyways because of the wiki software. Orange 15:14, 13 August 2009 (UTC)
Surely we could make a template for such a table/infobox if we wanted, wikipedia has lots of such. Of course someone would have to edit all the already existing languages to include it. Don't look at me... --Ørjan 21:23, 13 August 2009 (UTC)
Not looking... If the empty tables are added automatically, they all eventually will be filled out.--Oleg 23:26, 13 August 2009 (UTC)
You are absolutely wrong. A language also needs functors. 20:17, 14 August 2009 (UTC)
Every language Everything already has functors if you just look at it the right way. The proper categories might be a bit hard to find though. ;) --Ørjan 20:50, 14 August 2009 (UTC)

Uh, guys, it's not a joke. OK? Minimal is not a joke! --Alegend 14:38, 14 February 2010 (UTC)

But neither is category theory! Unless MacLane was putting us on. --Ørjan 19:55, 14 February 2010 (UTC)