Portada

    Página principal de la Wiki de Paradigmas de Programación en el sitio del grupo Uqbar

Correlación entre el Programa de la Materia y la Wiki:

• Paradigma Lógico

• Introducción al paradigma
  
• Functores
  
• Unificación, inversibilidad y pattern matching
• Aritmética
• Listas
• Predicados de orden superior
• Recursividad
  

• Paradigma Funcional

• Introducción al paradigma
  
• Composición
• Aplicación parcial
• Funciones de orden superior
  
• Tuplas
• Listas
• Definiciones múltiples: guardas y pattern matching.
• Expresiones lambda, definiciones locales, listas por comprensión.
• Recursividad
• Clases
  
• Inferencia de tipos
  

• Paradigma de Objetos

• Objetos, mensajes y referencias
  
• Delegación y polimorfismo
• Objetos básicos
• Bloques
• Colecciones
• Clases
• Herencia
• Responsabilidades de las clases

• Conceptos Transversales

• Paradigmas
• Efecto colateral, asignación destructiva y transparencia referencial
• Declaratividad
• Tipos y polimorfismo