Apuntes

Funcional

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.

Orden superior.

Expresiones lambdas.

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

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

PlUnit

Integración de conceptos

Charla inicial de Paradigmas - Integración de conceptos

Page updated

Google Sites

Report abuse