Diferencia entre revisiones de «Programación funcional»
Contenido eliminado Contenido añadido
m Bot: Marca para revisión errores comunes. ¿Fue un error?, repórtalo aquí |
m Revertido a la revisión 35773104 hecha por Luckas-bot. (TW) |
||
Línea 6:
El objetivo es conseguir lenguajes expresivos y ''matemáticamente elegantes'', en los que no sea necesario bajar al nivel de la máquina para describir el proceso llevado a cabo por el programa, y evitando el concepto de ''estado'' del cómputo. La secuencia de computaciones llevadas a cabo por el programa se regiría única y exclusivamente por la ''reescritura'' de definiciones más amplias a otras cada vez más concretas y definidas, usando lo que se denominan "[[definición dirigida|definiciones dirigidas]]".
== Características ==
Los programas escritos en un lenguaje funcional están constituidos únicamente por definiciones de funciones, entendiendo éstas no como subprogramas clásicos de un lenguaje imperativo, sino como funciones puramente matemáticas, en las que se verifican ciertas propiedades como la ''[[transparencia referencial]]'' (el significado de una expresión depende únicamente del significado de sus subexpresiones), y por tanto, la carencia total de ''[[Efecto secundario (computación)|efectos laterales]]''.
| |||