Paradigmas de Programación

Paradigmas de Programación
Los paradigmas de programación son; la forma, que determinan los métodos y las herramientas que un programador usara en la construcción de un software. Mayormente los lenguajes de programación están basados en uno o más paradigmas, ha estos se les puede llamar multiparadigmas.
Un paradigma se define como un conjunto de reglas, patrones y estilos de programación queson usados por un grupo de lenguajes de programación.
Estos se clasifican en cuatro que son;
Paradigma Funcional.
Paradigma Lógico.
Paradigma Imperativo o Procedural.
Paradigma Orientado a Objetos.


Paradigma Funcional;
La computación se realiza mediante la evaluación de expresiones.
Definición de Funciones.
Funciones como datos primitivos.
Valores sin efectos laterales, no existela asignación.
Programación declarativa.
Lenguajes LISP, Scheme, Haskell, Scala.
Este tipo de paradigma demuestra un tipo de programación en forma de funciones matemáticas. Los lenguajes puramente funcionales evitan efectos secundarios que pueden ser comunes en otros tipos de paradigmas. El objetivo es conseguir lenguajes expresivos y matemáticamente elegantes, en los que no sea necesario bajaral 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 "definiciones dirigidas". Paradigma lógico Se definenreglas lógicas que luego a través de un motor de inferencias lógicas, resolver problemas planteados por el sistema. Algunos programas que utilizan el paradigma lógico: “prolog”. Hay muchos más paradigmas de programación y cada uno de ellos posee sus ventajas y desventajas, sin embargo sea el paradigma que elijamos podremos resolver todos los problemas por caminos diferentes a los demás.Paradigma Lógico;

Definición de reglas.
Unificación como elemento de computación.
Programación declarativa.
Lenguajes Prolog, Mercury, Oz.

Se sustenta en la idea de que un problema puede ser descrito definiendo ciertas relaciones sobre un conjunto de datos, y que pueden obtenerse conclusiones a partir de estas premisas aceptadas como válidas, por medio de aplicación de ciertas reglas dededucción.

Claros ejemplos de estos paradigmas son Haskell y Prolog respectivamente. Curiosamente hay otro lenguaje, Curry (lenguaje declarativo) que fue creado para unificar lo mejor de la programación lógica y la programación funcional.

Características del paradigma:

* Conceptos resaltados con hipervinculos.*
El paradigma declarativo es un paradigma que se centra en la descripción delproblema, más que los procedimientos necesitamos para llegar a la solución del problema.
Lo más importante, es descubrir un algoritmo general para la resolución del problema. Después de hacer esto sólo tenemos que expresarlos en una forma compatible con dicho algoritmo y aplicarlo.
Acá la tarea del programador es crear un enunciado preciso del problema, más que a descubrir un algoritmo pararesolverlo.
Con la información anterior, el sistema debe poder derivar un esquema de evaluación que nos permita computar una solución, es decir, no existe una descripción paso a paso de cómo llegar a la solución como la hay por ejemplo en el paradigma imperativo.
Este paradigma de programación es que está basado en el desarrollo de programas, especificando el conjunto de hechos, reglas,restricciones, transformaciones, ecuaciones, y otras propiedades que resuelven el problema.
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 de recursividad.
Las listas representan la estructura fundamental de datos.
El orden de ejecución no resulta...