Lenguaje de programación esotérico

Los lenguajes de programación imperativos convencionales suelen permitir almacenar datos en variables, pero los lenguajes esotéricos pueden utilizar diferentes métodos para almacenar y acceder a los datos. Lenguajes como Brainfuck y Malbolge solo permiten leer datos mediante un único puntero , que debe moverse a la ubicación deseada antes de leer los datos. Otros, como Befunge y Shakespeare , utilizan una o más pilas para almacenar datos, lo que da lugar a una forma de ejecución similar a la notación polaca inversa . Finalmente, existen lenguajes que exploran formas alternativas de representación numérica: la variante de Brainfuck, Boolfuck, solo permite operaciones con bits individuales, mientras que Malbolge y la variante de INTERCAL, TriINTERCAL, reemplazan los bits por completo con un sistema ternario de base 3. ^{[ 8 ]}

Los lenguajes esotéricos también muestran formas únicas de representar las instrucciones de los programas. Algunos lenguajes, como Befunge y Piet , representan los programas en dos o más dimensiones, con el control del programa moviéndose en múltiples direcciones posibles a través del programa. ^{[ 9 ]} Esto difiere de los lenguajes convencionales en los que un programa es un conjunto de instrucciones que generalmente se encuentran en secuencia. Otros lenguajes modifican las instrucciones para que aparezcan en una forma inusual, a menudo una que puede ser leída por humanos con un significado alternativo a las instrucciones subyacentes. Shakespeare logra esto haciendo que todos los programas se asemejen a las obras de Shakespeare. Chef logra lo mismo haciendo que todos los programas sean recetas. ^{[ 8 ]} Chef es particularmente notable porque algunos han creado programas que funcionan con éxito tanto como programa como receta, demostrando la capacidad del lenguaje para producir un doble significado; esto se llama multicodificación. ^{[ 10 ]} Los esolenguajes multicodificados donde las dos lecturas del código se influyen estéticamente entre sí se han comparado con la escritura basada en restricciones del movimiento Oulipo. ^{[ 8 ] [ 11 ]}

Muchos lenguajes de programación esotéricos están diseñados para producir código profundamente ofuscado , lo que dificulta su lectura y escritura. ^{[ 1 ]} El propósito de esto puede ser proporcionar un rompecabezas o desafío interesante para los programadores: Malbolge, por ejemplo, fue diseñado explícitamente para ser desafiante, por lo que tiene características como código automodificable y operaciones altamente contraintuitivas. ^{[ 1 ]} Por otro lado, algunos lenguajes esotéricos se vuelven difíciles de escribir debido a otras decisiones de diseño. Brainfuck está comprometido con la idea de un conjunto de instrucciones minimalista, por lo que, aunque sus instrucciones son sencillas en principio, el código resultante es difícil de leer para un humano. La dificultad de INTERCAL surge como resultado de la decisión de evitar operaciones utilizadas en cualquier otro lenguaje de programación, lo que proviene de su origen como parodia de otros lenguajes. ^{[ 1 ]}

Uno de los objetivos de los lenguajes de programación esotéricos es parodiar o imitar los lenguajes y tendencias existentes en el campo de la programación. ^{[ 1 ]} Por ejemplo, el primer lenguaje esotérico, INTERCAL, comenzó como una parodia de los lenguajes utilizados en la década de 1960, como APL , Fortran y COBOL . Las reglas de INTERCAL parecen ser la inversa de las reglas de estos otros lenguajes. ^{[ 12 ]} Sin embargo, el objeto de la parodia no siempre es otro lenguaje de programación establecido. Shakespeare puede considerarse una parodia de la estructura de las obras de Shakespeare, por ejemplo. El lenguaje Ook! es una parodia de Brainfuck , donde los ocho comandos de Brainfuck se reemplazan por varios sonidos de orangután como "Ook. Ook?". ^{[ 8 ]}

Befunge permite que el puntero de instrucción se desplace en múltiples dimensiones a través del código. Por ejemplo, el siguiente programa muestra "Hola Mundo" colocando los caracteres en orden inverso en la pila y luego imprimiendo los caracteres en un bucle que circula en sentido horario a través de las instrucciones >, :, v, _, ,, y ^.

"dlroW olleH" > : v ^ , _@

Hay muchas versiones de Befunge, siendo la más común Befunge-93, llamada así por su año de lanzamiento. ^{[ 13 ]}

El cálculo lambda binario está diseñado desde una perspectiva de teoría de la información algorítmica para permitir el código más denso posible con los medios más mínimos, que incluye un intérprete propio de 29 bytes, una criba de números primos de 21 bytes y un intérprete Brainfuck de 112 bytes. ^{[ 14 ]}

Brainfuck está diseñado para el minimalismo extremo y conduce a código ofuscado, con programas que contienen solo ocho caracteres distintos. El siguiente programa muestra "¡Hola, mundo!": ^{[ 15 ]}

++++++++++ [ > +++++++ > ++++++++++ > +++ <<< - ] > ++ . > + . +++++++ .. +++ . > ++ . << +++++++++++++++ . > . +++ . ------ . -------- . > + .

Todos los caracteres que no sean se ignoran.+-<>,.[]

Chef es un lenguaje de programación orientado a pilas creado por David Morgan-Mar , diseñado para que los programas parezcan recetas de cocina . ^{[ 16 ]} Los programas constan de un título, una lista de variables y sus valores de datos, y una lista de instrucciones para la manipulación de la pila. ^{[ 17 ]} Un principio de diseño jocoso afirma que "las recetas de programas no solo deben generar una salida válida, sino también ser fáciles de preparar y deliciosas", y Morgan-Mar señala que un ejemplo de programa "¡Hola, mundo!" con 101 huevos y 111 tazas (~26 640 ml) de aceite produciría "mucha comida para una persona". ^{[ 17 ] [ 18 ]} 

Un programa FRACTRAN es una lista ordenada de fracciones positivas junto con un número entero positivo inicial.${\displaystyle n}$El programa se ejecuta multiplicando el número entero.${\displaystyle n}$por la primera fracción${\displaystyle f}$en la lista para la cual${\displaystyle nf}$es un número entero. El número entero${\displaystyle n}$luego es reemplazado por${\displaystyle nf}$y la regla se repite. Si ninguna fracción de la lista produce un número entero al multiplicarse por${\displaystyle n}$, el programa se detiene. FRACTRAN fue inventado por el matemático John Conway . ^{[ 19 ]}

INTERCAL , abreviatura de "Compiler Language With No Pronounceable Acronym" (Lenguaje de compilación sin acrónimo pronunciable), fue creado en 1972 como una parodia para satirizar aspectos de los diversos lenguajes de programación de la época. ^{[ 6 ]}

JSFuck es un estilo de programación esotérico de JavaScript , donde el código se escribe usando solo seis caracteres: [, ], (, ), !, y +. A diferencia de Brainfuck, que requiere su propio compilador o intérprete, JSFuck es código JavaScript válido, lo que significa que los programas JSFuck se pueden ejecutar en cualquier navegador web o motor que interprete JavaScript. ^{[ 20 ] [ 21 ]} Se ha utilizado en varios ataques de secuencias de comandos entre sitios (XSS) en sitios web como eBay debido a su capacidad para evadir los filtros de detección de secuencias de comandos entre sitios. ^{[ 22 ]}

LOLCODE está diseñado para imitar el habla de los lolcats . El siguiente es el ejemplo de "Hola Mundo":

Hola ¿PUEDE TENER STDIO? VISIBLE "¡HOLA MUNDO!" Gracias, adiós 

Aunque la semántica de LOLCODE no es inusual, su sintaxis se ha descrito como un fenómeno lingüístico , que representa un ejemplo inusual de habla informal y jerga de internet en la programación. ^{[ 23 ]}

Malbolge (llamado así por el octavo círculo del Infierno ) fue diseñado para ser el lenguaje de programación más difícil y esotérico. Entre otras características, el código es automodificable por diseño y el efecto de una instrucción depende de su dirección en la memoria. ^{[ 24 ]}

Piet es un lenguaje diseñado por David Morgan-Mar , cuyos programas son mapas de bits que parecen arte abstracto . ^{[ 25 ]} La ejecución está guiada por un "puntero" que se mueve por la imagen, de una región de color continua a la siguiente. Los procedimientos se llevan a cabo cuando el puntero sale de una región.

Hay 20 colores para los que se especifica el comportamiento: 18 colores "coloridos", que se ordenan mediante un ciclo de tono de 6 pasos y un ciclo de brillo de 3 pasos; y blanco y negro, que no están ordenados. Al salir de un color "colorido" y entrar en otro, el procedimiento realizado viene determinado por el número de pasos de cambio de tono y brillo. No se puede entrar en negro; cuando el puntero intenta entrar en una región negra, se modifican las reglas para elegir el siguiente bloque. Si se prueban todas las reglas posibles, el programa finaliza. Las regiones fuera de los bordes de la imagen también se tratan como negras. El blanco no realiza operaciones, pero permite que el puntero "pase". El comportamiento de los colores distintos de los 20 especificados queda a cargo del compilador o intérprete. ^{[ 25 ]}

Las variables se almacenan en memoria como enteros con signo en una única pila . La mayoría de los procedimientos especificados se ocupan de las operaciones en esa pila, mientras que otros se ocupan de la entrada/salida y de las reglas por las que se mueve el puntero de compilación. ^{[ 26 ]}

Piet recibió su nombre en honor al pintor holandés Piet Mondrian . ^{[ 27 ]} El nombre original previsto, Mondrian , ya estaba siendo utilizado por un sistema de visualización de datos estadísticos de código abierto . ^{[ 25 ]}

El lenguaje de programación Shakespeare (SPL) está diseñado para que los programas se parezcan a las obras de Shakespeare . Por ejemplo, la siguiente instrucción declara un punto en el programa al que se puede acceder mediante una instrucción de tipo GOTO:

Acto I: Los insultos y halagos de Hamlet.

Unlambda es un lenguaje de programación funcional minimalista basado en el cálculo SKI , pero combinado con continuaciones de primera clase y E/S imperativa (donde la entrada generalmente requiere el uso de continuaciones). ^{[ 28 ]}

Velato fue creado por Daniel Temkin en 2009 y utiliza archivos MIDI como código fuente. Los programas se componen de notas musicales, y cada instrucción está determinada por el intervalo entre notas sucesivas con respecto a una nota raíz elegida. ^{[ 29 ]} Este diseño permite que el código válido de Velato funcione también como composición musical. ^{[ 30 ]}

Whitespace utiliza únicamente caracteres de espacio en blanco ASCII (espacio U+0020, tabulación U+0009 y salto de línea U+000A), ignorando todos los demás caracteres, que por lo tanto pueden utilizarse para comentarios. Esto es lo contrario de muchos lenguajes tradicionales, que no distinguen entre los diferentes caracteres de espacio en blanco, tratando la tabulación y el espacio de la misma manera. También permite ocultar programas de Whitespace en el código fuente de programas en lenguajes ^como C. [ ^{31 ]}