Apuntes de la cursada

IMPORTANTE: Está página está DEPRECADA. Es decir, corresponde a cursos anteriores, pero los apuntes ya cambiaron y los links pueden estar rotos o modificados, no se están manteniendo. Ver la sección general de apuntes.

El orden de los contenidos puede variar dependiendo de la cursada, por eso los dividimos en módulos y temas. Es un compendio que surgió de varios autores: Fernando Dodino, Matías Freyre, Nicolás Passerini, Carlos Lombardi y Daniel Solmirano, entre otros.

Funcional

Módulo 1: Introducción. Función. Variable. Primeros ejemplos. Aplicación. Guardas.

Módulo 2: Composición. Aplicación parcial.

Módulo 3: Modelado de información.

Módulo 4: Recursividad. Evaluación diferida.

Módulo 5: Orden superior.

Módulo 6: Expresiones lambda.

Módulo 7: Sistema de tipos.

Módulo 8: TODO. Elementos de diseño. Bad smells.

Anexo A: Testeo con HSpec

Para los curiosos, material extra

Módulo 9: Tipos de datos avanzados. Kinds.

Módulo 10: Functores. Entrada/Salida. Trabajo con bindings.

Lógico

Módulo 1: Predicados. Individuos. Consultas. Universo Cerrado.

Módulo 2: Variables. Consultas Existenciales. Reglas simples y compuestas. Inversibilidad.

Módulo 3: Estructuras de datos. Individuos simples y compuestos.

Módulo 4: Predicados de orden superior.

Módulo 5: Recursividad.

Módulo 6: Elementos de Diseño. Delegación. Acoplamiento. Code smells.

Para los curiosos, material extra

Módulo 7: Explosión combinatoria. Orden superior (definición). Efecto.

Anexo A: Testeo con PlUnit

Objetos

Módulo 1: Objeto. Mensaje. Métodos.

Módulo 2: Referencias. Estado. Compartir objetos. Identidad.

Módulo 3: Polimorfismo. Manejo básico de colecciones.

Módulo 4: Clases. Method lookup y polimorfismo con clases.

Módulo 5: Herencia. Self, super. Redefinición.

Módulo 6: Colecciones. Bloques de código.

Módulo 7: Manejo de errores.

Módulo 8: Constructores. Mutabilidad. Igualdad e identidad. Elementos de Diseño.

Anexo A: Testing

Anexo B: Resolución de un ejercicio de examen.

Anexo C: Tutorial de SVN en Wollok.

Anexo D: Tutorial de Git en Wollok.

Integración

Integración de conceptos - Charla inicial de la materia