Material‎ > ‎Apuntes‎ > ‎

Clases sábado


Funcional

Resúmenes de clase
Funcional_Modulo1.pdf
Introducción al paradigma funcional

Funcional_Modulo2.pdf
Inducción, Recursividad, Pattern matching

Funcional_Modulo3.pdf
Tipos, Listas, Listas por comprensión, Tuplas, Comparación lista-tupla

Funcional_Modulo4.pdf
Composición de funciones. Listas infinitas. Evaluación diferida

Funcional_Modulo5.pdf
Funciones de orden superior: filter, map, foldl.


Funcional_Modulo6.pdf
Repaso de composición. Funciones constantes. Repaso foldl. Expresiones lambda. Definiciones locales. Aplicación parcial.

Funcional_Modulo7.pdf
Currificación. Aplicación parcial.
Inferencia de tipos. Polimorfismo.


Explicación complementaria de Germán Leiva, que es un docente amigo 

Apuntes complementarios
Introducción al lenguaje Haskell
Apunte de Haskell de José Labra - Universidad de Oviedo (interesante material para leer de corrido). Las primeras 30 páginas cubren el temario del paradigma funcional

YAHT - Yet Another Haskell Tutorial
Excelente tutorial de Hal Daumé, bastante completo y con ejemplos interesantes

Learn You a Haskell for Great Good!
Un tutorial on-line ilustrado, muy ameno

A Gentle Introduction to Haskell
Paper que introduce a los conceptos de Haskell, no es tan básico como sugiere su título

Links
Sitio oficial de Haskell
Tutoriales y Papers del sitio de Haskell

Lógico

Resúmenes de clase
Logico_Modulo1.pdf
Introducción al Paradigma Lógico. Hechos y reglas. Consultas. Variables. Universo cerrado.
Atributos y relaciones. Definiciones por comprensión/extensión.

Logico_Modulo2.pdf
Ejemplo. Pattern matching. Unificación. Comparación funcional/imperativo vs. lógico, comparación SQL/Lógico

Logico_Modulo3.pdf
Unificación vs.asignación, Recursividad, Aritmética, Inversibilidad de cláusulas, Negación.

Logico_Modulo4.pdf
Listas. Predicados recursivos y pattern matching aplicados a listas. Resolución de Ejercicios.

Logico_Modulo5.pdf
Intro a Functores. Functores y polimorfismo. Predicados de orden superior: findall. 

Logico_Modulo6.pdf
Explosión combinatoria. Predicados de orden superior: forall. Repaso de límites a la inversibilidad. Predicados generadores. 

Logico_Modulo7.pdf
BONUS: Repaso de conceptos cross: Declaratividad. Tipos. Polimorfismo. Orden superior. Recursividad. Pattern matching. Usos y limitaciones.

Objetos

Resúmenes de clase
Objetos_Modulo01.pdf
Objeto. Mensaje. Ambiente. Referencias.

Objetos_Modulo02.pdf
Mensaje vs. método. Polimorfismo. Interfaz. Abstracción. Encapsulamiento. Forma de trabajo en Smalltalk.

Celulares - Object Browser.pdf
Ejercicio de Celulares a desarrollar en clase de cañón - Object Browser , con una solución explicada paso a paso

Objetos_Modulo03.pdf
Intro a Clase. Herencia. Criterios para subclasificar. Instancias o clases. Clase abstracta. Mensajes que le puedo enviar a una clase.

Objetos_Modulo04.pdf
Clase. Tipo. Self. Acceso directo y acceso indirecto. Method lookup. Super.

Objetos_Modulo05.pdf
Intro a colecciones. Bloques de código. Declaratividad en Objetos.

Objetos_Modulo06.pdf
Tipos de colecciones. Variables/métodos de clase.

Objetos_Modulo07.pdf
Cómo resolver un ejercicio de examen - Aplicación de conceptos vistos hasta ahora - Delegación

Objetos_Modulo08.pdf
BONUS. Enlace o binding. Sobrecarga. Mensajes en cascada. Igualdad e identidad. Copia superficial y copia profunda.