-
Period: to
Paradigmas de programación
-
Paradigma imperativo (1954)
En este paradigma podemos encontrar lenguajes como FORTRAN (John W. Backus), COBOL, ALGOL-60, BASIC, C, ADA y PASCAL. Conceptos principales: estado, instrucción y asignación.
Se utiliza mucho para la implementación de hardware.
Es secuencial ya que ejecuta paso a paso las instrucciones dadas, y va cambiando con ello el estado del programa. Está basado en el modelo de Von Neumann, es también llamado procedimental o algorítmico. Construcción de estructura y módulo o técnica de Top-Down. -
Paradigma funcional (1965)
Entre los lenguajes del paradigma funcional podemos encontrar: Lisp y su autor John McCarthy. Otros lenguajes son: Scheme, Erlang, Rust, Objective Caml, Scala, Haskell, etc. Comparte características de programación declarativa.
En este no existe asignación ni cambios de estado en el programa.
En este existen valores y expresiones matemáticas (funciones), basado en cálculo Lambda.
Evaluación guiada por el concepto de sustitución.
Composición y recursión. -
Paradigma de programación estructurada (1960)
Fue desarrollado por Böhm y Jacopini. Se fundamenta en la idea de que todo programa puede ser desarrollado usando tres controles: secuencias, condiciones e iteraciones. Son programas secuenciales, fáciles de entender.
No existen líneas GoTo. Entre los lenguajes que lo soportan tenemos:
"C" (como el más representativo), y del cual parten muchos otros lenguajes. Así como:
ALGOL, Pascal, PL/I, ADA. -
Paradigma orientado a objetos (1962)
Simula 67 aparece como el primer lenguaje orientado a objetos.
Creado por Ole Johan Dahl y Kristen Nygaard. El paradigma orientado a objetos tiene como características:
Abstracción, encapsulamiento, polimorfismo, herencia, modularidad, principio de ocultación y recolección de basura. Este cuenta con elementos como: clases, herencias, objetos, métodos, eventos, atributos, mensajes, propiedades, estados internos, componentes e identificadores. -
Paradigma de programación lógica (1971)
Entre los lenguajes que podemos encontrar en este paradigma está: Prolog (el más representativo), ALF, Gödel, Mercury, CLP, ACE, PALS, etc. Prolog fue creado por: Alain Colmerauer y Philippe Roussel.
Es un paradigma declarativo.
No existen asignaciones destructivas. Está basado en hechos y reglas.
Términos unificados.
Inferencias.
Recursion.
Las salidas dependen de las entradas.