Lenguaje de programación concatenante

Un lenguaje de programación concatenativo es un lenguaje de programación sin puntos en el que todas las expresiones denotan funciones , y la yuxtaposición de expresiones denota composición de funciones . ^{[ 1 ]} La programación concatenativa reemplaza la aplicación de funciones , que es común en otros paradigmas de programación , con la composición de funciones como la forma predeterminada de construir subrutinas .

Por ejemplo, un anidamiento de operaciones en un lenguaje aplicativo como el siguiente:

baz ( bar ( foo ( x )))

...se escribe en un lenguaje concatenativo como una secuencia de funciones: ^{[ 2 ]}

x foo bar baz

Las funciones y los procedimientos escritos en estilo concatenativo no son de nivel de valor , es decir, normalmente no representan las estructuras de datos sobre las que operan con nombres o identificadores explícitos . En cambio, son de nivel de función : una función se define como una tubería , o una secuencia de operaciones que toman parámetros de una estructura de datos implícita sobre la que operan todas las funciones, y devuelven los resultados de la función a esa estructura compartida para que la utilice el siguiente operador. ^{[ 3 ]}

La combinación de semántica compositiva con una sintaxis que refleja dicha semántica hace que los lenguajes concatenativos sean altamente adecuados para la manipulación algebraica de programas; ^{[ 4 ]} aunque puede ser difícil escribir expresiones matemáticas directamente en ellos. ^{[ 5 ]} Los lenguajes concatenativos pueden implementarse eficientemente con una máquina de pila y suelen estar presentes implícitamente en máquinas virtuales en forma de sus conjuntos de instrucciones . ^{[ 5 ]}

Las propiedades de los lenguajes concatenativos son el resultado de su sintaxis y semántica composicionales:

• La reducción de cualquier expresión es la simplificación de una función a otra función; nunca es necesario tratar con la aplicación de funciones a objetos. ^{[ 6 ]}
• Cualquier subexpresión puede reemplazarse por un nombre que la represente. En la programación concatenativa, esto se denomina factorización y se utiliza ampliamente para simplificar programas dividiéndolos en partes más pequeñas.
• La sintaxis y la semántica de los lenguajes concatenativos forman la estructura algebraica de un monoide . ^{[ 7 ]}
• Los lenguajes concatenativos pueden adaptarse bien a una implementación inspirada en la lógica lineal donde nunca se genera basura . ^{[ 8 ]}

El primer lenguaje de programación concatenativo fue Forth , aunque Joy fue el primer lenguaje que se denominó concatenativo. Otros lenguajes concatenativos son dc , Factor , Onyx, PostScript , RPL , Staapl, ^{[ 9 ]} y algunos experimentales y descontinuados, entre ellos: Enchilada, ^{[ 10 ]} Om, ^{[ 11 ]} XY. ^{[ 12 ]}

La mayoría de los lenguajes concatenativos existentes se basan en pilas . Esto no es necesario y se han propuesto otros modelos. ^{[ 12 ] [ 10 ] [ 11 ]} Los lenguajes concatenativos se utilizan actualmente para programación embebida , ^{[ 9 ]} de escritorio y web , como lenguajes de destino y para fines de investigación.

La mayoría de los lenguajes concatenativos son de tipado dinámico . Las excepciones incluyen el lenguaje de tipado estático Cat ^{[ 13 ]} y su sucesor, Kitten. ^{[ 14 ]}

• Programación a nivel de funciones
• Homoiconicidad
• Lenguaje de programación orientado a pilas
• Programación tácita

• Concatenative.org: Wiki , sobre programación concatenativa