PARADIGMA Es un marco de referencia que impone reglas sobre cómo se deben hacer las cosas. CONCEPTO DE PARADIGMA DE PROGRAMACION colección de modelos conceptuales que orientan el proceso de diseño y desarrollo de programas. Orientan la manera de pensar y formular soluciones.

“Cuando una forma de actuar no suple una necesidad, esto lleva a las personas a crear otro paradigma”

P ARADIGMA DECLARATIVO El paradigma declarativo señala las características que debe tener la solución, sin describir como procesarla, es decir; especifica que se desea obtener pero no como hacerlo. Un programa declarativo se construye señalando hechos, reglas, restricciones, ecuaciones, transformaciones y otras propiedades derivadas del conjunto de valores que configuran la solución. La programación en un lenguaje declarativo es potencialmente de más alto nivel que la programación imperativa.

Lenguajes de bajo nivel. Es el lenguaje que más se aproxima al lenguaje binario del computador, la palabra bajo se refiere a la reducida abstracción entre el lenguaje y el hardware. Lenguajes de alto nivel. Se alejan del lenguaje binario que maneja el computador y se aproxima al lenguaje cotidiano que utilizan los humanos. El paradigma declarativo se desarrolla sobre este tipo de lenguaje.

C ARACTERÍSTICAS DEL PARADIGMA DECLARATIVO  No existe asignación.  Las variables son identificadores de valores que no cambian en toda la evaluación.  No existe una descripción paso a paso de como llegar a la solución.  Se tiende a enfatizar más en la evaluación de expresiones que en la ejecución secuencial de comandos.  Las soluciones declarativas son más cercanas a la manera en que funciona la mente humana al permitir a los programadores describirlas como sistemas de expresiones que serán evaluadas.  No administra la memoria

“a partir de una serie de funciones miramos el resultado después de ponerlas en ejecución, pero no nos damos cuenta como se realizo dicha ejecución, específicamente no señalamos al computador que tiene que suceder, sino que miramos el resultado final sin describir internamente que sucedió”

Dentro de los paradigmas declarativos distinguimos:

PARADIGMA LÓGICO La programación lógica está basada en el cálculo de predicados El cálculo de predicados proporciona axiomas y reglas de modo que se puede deducir nuevos hechos a partir de otros ya conocidos. Un programa basado en lógica se compone de una serie de axiomas o hechos, reglas de inferencia y un teorema o cuestión por demostrarse. La salida es verdadera si los hechos soportan o apoyan la cuestión, y es falsa en el caso contrario.

Paradigma funcional Esta basado en la creación y uso de funciones matemáticas. La popularidad del paradigma funcional se debe en gran medida al éxito del lenguaje de programación Lisp y de sus dialectos, como Scheme Los orígenes teóricos del modelo funcional se remontan al año 1934, cuando Alonso Church introdujo un modelo matemático de computación llamado lambda cálculo. El objetivo del paradigma funcional 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, evitando el concepto de estado de computo.

VENTAJAS Y DESVENTAJAS DE LOS LENGUAJES DECLARATIVOS Los programas declarativos incluyen menos detalles que sus contrapartidas imperativas. Se ha estimado un factor de reducción de entre 5 y 10 en el número de líneas escritas. En los programas imperativos un porcentaje muy alto del código está dedicado a controlar la secuencia de ejecución del programa: instrucciones SI, MIENTRAS, FOR y los puntos y coma que expresan la concatenación de acciones. En un lenguaje declarativo no existen este tipo de instrucciones. La repetición de cómputos se expresa mediante la recursión y la elección entre varias alternativas es más abstracta. El punto y coma o su equivalente están ausentes.

VENTAJAS Y DESVENTAJAS DE LOS LENGUAJES DECLARATIVOS Dado que el tiempo de desarrollo y el número de errores de un programa son directamente proporcionales al número de líneas escritas, independientemente del paradigma utilizado, los lenguajes declarativos ofrecen menores costes de desarrollo y mayor fiabilidad de los programas. No hay estados del programa, los estado se define por los valores de la variable.