Science  People  Locations  Timeline
Index: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Home > Esoteric programming language


 Contents
Among some hackers and hobbyists, the term esoteric programming language refers to programming languages designed as a test of the boundaries of computer programming language design, as a proof of concept, or as jokes, and not with the intention of being adopted for real-world programming. This usage of esoteric should not be confused with more popular programming languages, such as the APL programming language, that may appear esoteric (in the usual sense of the word) to some, although these are arguably "esoteric programming languages", too.

Usability is rarely a high priority for such languages. The usual aim is to remove or replace conventional language features while still maintaining a language that is Turing-complete. Thus, by adhering to some principles while deliberately making no sense as a whole, these languages are perhaps the programming equivalent of nonsense verse.

1 History

The earliest, and still the canonical, esoteric language was INTERCAL, designed in 1972 by James Lyons and Don Woods, with the stated intention of being unlike any other programming language the authors were familiar with. Utilizing a counterintuitive set of operations and a character set full of awkward constructions, Intercal is a classic example of what are now known as Write-only Imperative, or sometimes Despotic programming languages.

The next notable event in the field was more than twenty years later, when Urban Müller created the now famous Brainfuck, which with only eight recognized characters is considered the canonical example of a Turing tarpit. Along with Befunge, Brainfuck is now one of the most well-supported esoteric programming languages, and it is no surprise that both are highly valued as they were both the first of their respective kinds and still the most elegant.

2 Esoteric programming terms

Turing tarpit

A programming language with arbitrarily few commands. These include Brainfuck (8 commands, all with 0 operands), OISC (1 command, 3 operands), and ThueThue (pronounced "TOO-ay") is an esoteric programming language invented by John Colagioia in early 2000. It is a metalanguage that can be used to define or recognize Type-0 languages from Chomsky hierarchy. Because it is able to define languages of such c (1 command, 2 operands).

Language paradigmA programming paradigm is a paradigmatic style of programming (compare with a Methodology which is a paradigmatic style of doing software engineering). The programming paradigm involved provides (and determines) the view that the programmer has of the exe

The paradigm of a language can fall into a number of categories, and these categories are used to get a general understanding of the way that a specific language operates. These include imperative/despotic languages such as Brainfuck, in which instructions describe how to change data; functional languages such as Unlambda, in which data and code are more or less interchangeable and execution is the repeated application of functions to the results of other functions; and Rewriting languages such as ThueThue (pronounced "TOO-ay") is an esoteric programming language invented by John Colagioia in early 2000. It is a metalanguage that can be used to define or recognize Type-0 languages from Chomsky hierarchy. Because it is able to define languages of such c, in which transformation functions are applied to an initial state.

Deterministic language

A deterministic language is one in which it can always be predicted based on the state of a program what the next state will be. Most languages are deterministic, as nondeterministic languages such as Java2KJava2K is a probabilistic esoteric programming language. Despite its name, it has practically nothing to do with the actual Java programming language. In Java2K, all functions have only a certain probability to do whatever the programmer intended them to often give unreliable results, and getting even trivial programs to have a reliable output is often a monumental task.

Despotic language

A despotic language is a term coined for a Turing tarpit with a stateful encoding, meaning a language in which commands are used to select from a finite range of operations and apply these operations to the current state of the program. Examples include ReMorse and Whirl, and some have suggested that even INTERCAL is a despotic language. See also Turning tarpit

Stateful encoding

A system of encoding programs such that each substring of the encoding is an instruction to locate the next instruction in a list. An example based on ReMorse would be:

. Select Next Operation in list
- Perform Operation

With the list of operations either standard (as in ReMorse) or dynamic (as in ReMorse4ever )

Turning tarpit ( sic)

A highly minimalist despotic language in which the only way to select an operation is by moving along a list of stateful encodings. This was coined as the result of a Freudian slip while discussing the despotic language Whirl.



Read more »

Non User