Material‎ > ‎

Apuntes

Seguramente te sirva la guía de lenguajes.

Además contamos con una wiki muy completa aquí!

Funcional

Resúmenes de clase

Módulo 1
Introducción al paradigma. 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 lambdas.

Módulo 7
Sistema de tipos.

Currificación. Aplicación parcial. Inferencia de tipos. Polimorfismo. Tipos y clases.

Podés descargarte otra explicación sobre el sistema de inferencia de tipos de Haskell

BONUS

Módulo 9
Tipos de datos parametrizados, tipos de datos recursivos. Maybe. Kinds.

Módulo 10
Functores. IO: Entrada y salida. Sentencias do, <- y return. IO como Functor.


Testing


Lógico

Resúmenes de clase


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. 

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

BONUS

Módulo 8
Más predicados de orden superior: maplist. setOf. Definiendo predicados de orden superior: maplist y filter. Inversibilidad. Múltiples soluciones.

Módulo 9
Efecto colateral en Lógico. Integración OO-Lógico: dos ejemplos.

Testing