caracteristicas

El paradigma de programación funcional comparte, junto con el de programación lógica,

La característica fundamental del paradigma declarativo es que no existe la asignación ni el cambio de estado en un programa. Las variables son identificadores de valores que no cambian en toda la evaluación (como constantes definidas con un DEFINE de C). Sólo existen valores y expresiones matemáticas que devuelven nuevos valores a partir de los declarados.
En los lenguajes imperativos, sin embargo, se realizan asignaciones que cambian el valor de una variable ya existente.

Consideremos el siguiente ejemplo:
1. { int x = 1;

2. x = x+1;

3. int y = x+1;

4. { int x = y;

5. y = x+2; }

6. y = x;}

En este fragmento de programa se mezclan instrucciones imperativas con instrucciones declarativas. Por ejemplo, las instrucciones 1, 3 y 4 son declarativas, ya que están definiendo una variable con un valor asociado (están dando un nombre a un valor). Sin embargo, las sentencias 2, 5 y 6 son imperativas, ya que están modificando el valor de una variable mediante asignaciones de nuevos valores.