-
Paradigma imperativo
Definición de procedimientos
• Definición de tipos de datos
• Chequeo de tipos en tiempo de compilación
• Cambio de estado de variables
• Pasos de ejecución de un proceso
•LENGUAJES UTILIZADOS: FORTRAN, COBOL, BASIC, ADA Y PASCAL. -
Paradigma Orientado a Objetos
• Definición de clases y herencia
• Objetos como abstracción de datos y procedimientos
• Polimorfismo y chequeo de tipos en tiempo de ejecución
•Lenguajes Utilizados: C++, Java, C# -
Paradigma Estructurado
Surgio en la decada de 1960, particularmente del trabajo de Böhm y Jacopini, y fue reforzado teoricamente por el teorema del programa estructurado, y practicamente por la aparicion de lenguajes como ALGOL, con adecuadas y ricas estructuras de control. •Lenguajes Utilizados: C, BASIC, Pascal -
Paradigma Lógico
• Definición de reglas
• Unificación como elemento de computación
• Programación declarativa
• Lenguajes Utilizados: Prolog, Mercury, Oz. -
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 existe la asignación
• Programación declarativa
• Lenguajes Utilizados: LISP, Scheme, Haskell, Scala