Lenguaje de programación aplicativa

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 término «aplicativo» se usa a menudo como sinónimo de «funcional». ^{[ 2 ]} Sin embargo, los lenguajes concatenativos pueden ser funcionales sin ser 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 ]}

Lisp y ML son lenguajes de programación aplicativa.

Véase también

↑ McBride, Conor; Paterson, Ross (1 de enero de 2008). "Programación aplicativa con efectos". Journal of Functional Programming . 18 (1): 1– 13. CiteSeerX 10.1.1.114.1555 . doi : 10.1017/S0956796807006326 . ISSN 1469-7653 .
↑ Dershowitz, Nachum; Plaisted, David A. (1985). "Programación lógica y programación aplicativa". Simposio sobre programación lógica . Boston, MA. págs. 54–66 . CiteSeerX 10.1.1.404.3826 .
↑ Jon Purdy (12 de febrero de 2012). "Por qué importa la programación concatenativa" . Consultado el 28 de abril de 2020 .
↑ Backus, J. (1978). "¿Puede liberarse la programación del estilo von Neumann?: Un estilo funcional y su álgebra de programas" . Communications of the ACM . 21 (8): 613– 641. doi : 10.1145/359576.359579 .