Conceptos sobre el paradigma declarativo

El paradigma declarativo es una forma de programación que implica la descripción de un problema dado en lugar de proveer una solución para dicho problema. Algunas características de los lenguajes que utilizan este paradigma son:

• El orden de la ejecución no resulta importante debido a que no existen efectos colaterales; es decir, que al calcular un valor, resulta imposible afectar el cálculo de otros y con esto se puede afirmar que cualquier secuencia de ejecución deberá conducir al mismo resultado.
• En un lenguaje declarativo no importa la forma de llegar a la solución; es decir, el programador debe concentrarse en la lógica del algoritmo, más que en el control de la secuencia.
• Los programas están formados por un conjunto de definiciones o ecuaciones, las cuales describen lo que debe ser calculado, no en sí la forma de hacerlo.
• Las variables sólo pueden tener asignado un solo valor a lo largo de la ejecución del programa, lo cual implica que no puede existir asignación destructiva. Debido a esto, cobra especial importancia el uso del anidamiento y la recursividad.

Referencias utilizadas:

Paradigmas de programación
Tipos de lenguajes de programación