Cursos‎ > ‎Sábados Mañana - Anual‎ > ‎

Apuntes de clase

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. 

Construcción de nuevos predicados de orden superior.

Logico_Modulo7.pdf
Formalizando orden superior, generación y límites a la inversibilidad. Explosión combinatoria.

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.

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
Excepciones. Gestión de errores.

Resolución de un ejercicio completo en Objetos. Delegación.

Enlace estático vs. enlace dinámico. Sobrecarga. Igualdad e identidad.