Paradigmas de Progamación

Paradigmas de programación

Historia

El origen de la palabra paradigma entendida como un marco general en el que se desarrollan teorías científicas se encuentran en el trabajo de 1962 del filosofo e historiador de la ciencia Thomas S. Kuhn "La estructura de las revoluciones científicas. 

La palabra paradigma ha sido adoptada por el mundo de la computación para definir un conjunto de ideas y principios comunes de grandes grupos de lenguajes de programación.

1954- Primer lenguaje de programación cientifica,  el Fortran I, fue diseñado por John Backus en IBM, este tipo de programación se preocupa especialmente de la realización de cálculos complejos de forma muy rápida y precisa. 

Ejemplos de paradigmas de programación

Paradigmas Imperativos: Consiste en un gran almacenamiento de memoria donde la computadora almacena una representación codificada de un cálculo y ejecuta una secuencia de comandos que modifican el contenido de ese almacenamiento. Describe una programación como un flujo de instrucciones o comandos que van formando la estructura del software. Algoritmos + estructura de datos = Programa. Lenguajes: Basic, C, Fortran, Pascal, PHP, Java. 

Paradigmas procedimentales: Estos siguen una secuencia computacional realizada etapa a etapa para resolver un problema. Su mayor dificultad reside en determinar si el valor computado es una solución correcta del programa. Los paradigmas procedimentales definen la secuencia explicitamente, pero esta secuencia se puede procesar en serio o paralelo, en este segundo caso el procesamiento paralelo puedes ser asincronico (cooperación de procesos paralelos) o sincrónico (proceso simple aplicado simultáneamente a muchos objetos).  Lenguaje: C 

Paradigmas Declarativos: Se construye señalando hechos, reglas, restricciones, ecuaciones, transformaciones y otras propiedades derivadas del conjunto de valores que configuran la solución. La solución es obtenida mediante mecanismos internos de control , sin especificar exactamente, cómo encontrarla. Lenguajes: Prolog, Maude, SQL, Haskell.

Paradigmas Demostrativos: El programador en lugar de especificar prodecimentalmente como lograr una solución, propone soluciones de problemas y permite al sistema generalice una solución procedimental a partir de tales demostraciones. En este modelo, una solución basada en la inferencia tratará de determinar por una parte los aspectos similares, un grupo de datos u objetos y a partir de estos generar similitudes. 

Paradigmas Funcionales: Modelo matemático de composición funcional donde el resultado de un cálculo es la entrada del siguiente, y así sucesivamente hasta que una composición produce el valor deseado. El objetivo es conseguir lenguajes expresivos y matemáticamente  elegantes, en los que no es necesario bajar al nivel de la máquina para describir el proceso llevado acabo por el programa. Algunos lenguajes son: Haskell, Miranda, Scala, Lisp.