Clasificacion de paradigmas
Un paradigma de programación provee (y determina) la visión y métodos de un programador en la construcción de un programa o subprograma. Diferentes paradigmas resultan en diferentes estilos de programación y en diferentes formas de pensar la solución de problemas
Clasificación por paradigmas de programación
Paradigma Imperativo: describe la programación como una secuencia instrucciones o comandos que cambian el estado de un programa. El código máquina en general está basado en el paradigma imperativo. Su contrario es el paradigma declarativo. En este paradigma se incluye el paradigma procedimental (procedural) entre otros.
PROGRAMA = COMANDOS + DATOS
• Flujo Ejecución: Secuencia, Decisiones y Ciclos
• …ver más…
Esta solución de definición, señala las características que debe tener la solución, sin describir cómo procesarla. Es decir, señala qué se desea obtener pero no cómo obtenerla.
• Determina el de orden de evaluación que requiere la solución y como sus secuencias de control constituyen sus propias restricciones, eliminando así, la necesidad de probar que el valor logrado es el resultado esperado.
Un ejemplo de este tipo de lenguaje es SQL, que utiliza en la consulta de bases de datos relacionales.
Otros ejemplos son los lenguajes de programación lógica como PROLOG y los lenguajes específicos de la Ingeniería del Conocimiento, los cuales utilizan representaciones complejas del conocimiento sobre un problema para manipularlas y generar soluciones de forma declarativa.-
Paradigma Funcional:
Como antecedentes de este paradigma:
• M. Schönfinkel: Desarrolla en Alemania y Rusia los Fundamentos de la lógica combinatoria.
• Haskell Curry: En Inglaterra crea la lógica combinatoria y el lambda cálculo tipado
• Alonzo Church: En 1934 en EEUU propone un nuevo modelo de estudio de la computabilidad mediante el cálculo lambda.
• John McCarthy: En 1950 diseña el lenguaje LISP (List Processing) usando las listas como tipo básico que admitía funciones de orden superior, de aplicación en el campo de la