En la clasificación de lenguajes de programación , un lenguaje de programación aplicativo se construye a partir de funciones aplicadas a argumentos . Los lenguajes aplicativos son funcionales , y el aplicativo se usa a menudo como sinónimo de funcional. [2] Sin embargo, los lenguajes concatenativos pueden ser funcionales, aunque no aplicativos. [3]
La semántica de los lenguajes aplicativos se basa en la reducción beta de términos y no se permiten efectos secundarios como la mutación de estado . [4]