Tipos de Programacion

Programación declarativa
La Programación Declarativa, en contraposición a la programación imperativa es un
paradigma de programación que está basado en el desarrollo de programas especificando
o "declarando" un conjunto de condiciones, proposiciones, afirmaciones, restricciones,
ecuaciones o transformaciones que describen el problema y detallan su solución. La
solución es obtenidamediante mecanismos internos de control, sin especificar exactamente
cómo encontrarla (tan sólo se le indica a la computadora qué es lo que se desea obtener o
qué es lo que se está buscando). No existen asignaciones destructivas, y las variables son
utilizadas con Transparencia referencial

Diferencia entre imperativo y declarativo
En la programación imperativa se describe paso a paso un conjuntode instrucciones que
deben ejecutarse para variar el estado del programa y hallar la solución, es decir, un
algoritmo en el que se describen los pasos necesarios para solucionar el problema.
En la programación declarativa las sentencias que se utilizan lo que hacen es describir el
problema que se quiere solucionar, pero no las instrucciones necesarias para solucionarlo.
Esto último serealizará mediante mecanismos internos de inferencia de información a partir
de la descripción realizada.

Tipos
Existen varios tipos de lenguajes declarativos:




Los lenguajes lógicos, como Prolog.
Los lenguajes algebraicos, como Maude y SQL
Los lenguajes funcionales, como Haskell

Ventajas
Se ha dicho que los lenguajes declarativos tienen la ventaja de ser razonados
matemáticamente,lo que permite el uso de mecanismos matemáticos para optimizar el
rendimiento de los programas.









Elegancia, claridad, sencillez, potencia y concisión.
Semánticas claras, simples y matemáticamente bien fundadas.
Cercanos al nivel de abstracción de las especificaciones formales/informales de los
problemas a resolver.
Referencialmente transparentes: Comportamientomatemático adecuado que
permite razonar sobre los programas.
Soportan técnicas muy avanzadas de desarrollo, mantenimiento y validación de
programas.
Altas dosis de paralelismo implícito.
Aplicaciones variadas y de gran interés.
Son fiables, elegantes y expresivos.

Características
La Programación Declarativa, en contraposición a la Programación Imperativa es un
paradigma de programación queestá basado en el desarrollo de programas especificando
o "declarando" un conjunto de condiciones, proposiciones, afirmaciones, restricciones,
ecuaciones o transformaciones que describen el problema y detallan su solución.
La solución es obtenida mediante mecanismos internos de control, sin especificar
exactamente cómo encontrarla (tan sólo se le indica a la computadora que es lo que se
deseaobtener o que es lo que se está buscando). No existen asignaciones destructivas, y
las variables son utilizadas con transparencia referencial
Aunque en la Programación Declarativa cabe más de un paradigma de programación, se
ha optado por centrarla en el estudio de la denominada Programación Lógica, el cual está
basado en el cálculo de proposiciones y sus relaciones lógicas.
La programacióndeclarativa es un estilo de programación en el que el programador
especifica qué debe computarse más bien que cómo deben realizarse los cómputos.



"programa = lógica + control" (Kowalski)
"algoritmos + estructuras de datos = programas" (Wirth)

El componente lógico determina el significado del programa mientras que el ncomponente
de control solamente afecta a su eficiencia.
La tarea deprogramar consiste en centrar la atención en la lógica dejando de lado el control,
que se asume automático, al sistema.
La característica fundamental de la programación declarativa es el uso de la lógica como
lenguaje de programación:


Un programa es una teoría formal en una cierta lógica, esto es, un conjunto de
fórmulas lógicas que resultan ser la especificación del problema que se...