TEMA 1: Estilos de Programacin

1
TEMA 1 Estilos de Programación

• PROGRAMACIÓN IMPERATIVA de bajo nivel
  (ensambladores), de sistemas (C), estructurada
  (pascal), modular (módula II), orientada a
  objetos (java), ....
• PROGRAMACIÓN DECLARATIVA funcional (haskell,
  lisp), lógica (prolog), lógico-funcional o
  integrada (curry), ....

2
P. Imperativa P. Declarativa

• ------------------ IDEA ------------------
• cómo - qué

3
P. Imperativa P. Declarativa

• ------- NIVEL DE ABSTRACCIÓN -------
• Limitado - Muy alto
• --------------- SEMÁNTICA ---------------
• Poco estudiada - Bien formalizada

4
P. Imperativa P. Declarativa

• ---------------- VARIABLES ----------------
• Asignación - Unificación o
  emparejamiento
• Locales/globales - Locales ( y glo- bales
  simulables)
• ARRAYS -LISTAS

5
P. Imperativa P. Declarativa

• ----- ESTRUCTURAS DE CONTROL -----
• Secuencialidad - Sin orden
• Bifurcaciones con o - Bifurcaciones por sin
  condición unific. o empar.
• Iteración/recursión - Recursión

6
Programación Declarativa

• Fuerte inspiración matemática y formal
• Aplicaciones de muy alto nivel (inteligencia
  artificial, robótica, bases de datos, etc...)
• Disciplina experimental y de investigación pero
  con crecientes perspectivas de futuro
• Dos estilos básicos lógico y funcional

7
P. Lógica P. Funcional

• ----------------- NOTACIÓN -----------------
• Cláusulas - Reglas condicionales
  (relaciones o (funciones) predicados)
• Muy simple pero - Riqueza sintáctica muy
  potente (facilidades de programación)

8
P. Lógica P. Funcional

• ------SEMÁNTICA DECLARATIVA ------
• Modelo mínimo - Modelo inicial (lógica)
  (álgebra)
• ------ SEMÁNTICA OPERACIONAL ------
• SLD-resolución - Reescritura unificación
  emparejamiento

9
P. Lógica P. Funcional

• ------SEMÁNTICA DECLARATIVA ------
• Modelo mínimo - Modelo inicial (lógica)
  (álgebra)
• ------ SEMÁNTICA OPERACIONAL ------
• SLD-resolución - Reescritura unificación
  emparejamiento

La combinación reescrituraunificación se llama
narrowing (estrechamiento) y es la base
operacional de la programación lógico-funcional
10
P. Lógica P. Funcional

• UNIFICACIÓN // EMPAREJAMIENTO
• No determinismo - Determinismo
• Variables lógicas - Sin var. lógicas
• No direccionalidad - Direccionalidad
• Inversibilidad - Uso único

11
P. Lógica P. Funcional

• ------------------- DATOS ---------------------
• Finitos - También infinitos
• Sin tipos - Tipos y polimorfis- mo
  (genericidad)
• ---------------- EVALUACIÓN ---------------
• Voraz - También perezosa

12
P. Lógica P. Funcional

• ------------------- ORDEN ---------------------
• Primer orden - Orden superior
• Ambos estilos admiten combinaciones entre sí, y
  también con otros paradigmas de pro-gramación
  (prog. distribuida, concurrente, modular,
  orientada a objetos, internet, etc.)