En la clasificación de los 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 aplicativo se utiliza a menudo como sinónimo de funcional. [2] Sin embargo, los lenguajes concatenativo 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 aplicativos.
Véase también
Referencias
- ^ McBride, Conor; Paterson, Ross (1 de enero de 2008). "Programación aplicativa con efectos". Revista de programación funcional . 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). "Why Concatenative Programming Matters" (Por qué es importante la programación concatenativa) . Consultado el 28 de abril de 2020 .
- ^ Backus, J. (1978). "¿Puede la programación liberarse del estilo von Neumann?: Un estilo funcional y su álgebra de programas". Comunicaciones de la ACM . 21 (8): 613–641. doi : 10.1145/359576.359579 .
