Este semestre nos enfocaremos en el estudio del cálculo lambda. El cálculo lambda es el concepto fundamental detrás del éxito de la programación funcional (Scala, Lisp, Haskell...) y el punto de partida para el estudio de la teoría de tipos y sus extensiones, como por ejemplo los tipos dependientes (dependent type theory). Todo lenguaje funcional es en el fondo una implementación del cálculo lambda. Comenzaremos con la teoría matemática y examinaremos el lenguaje Haskell como nuestro ejemplo principal, con énfasis en su sistema de tipos.
Horario:
Día: Todos los martes
Donde: Salón LL 101
Hora: 6:30 a 8:00 pm
Referencias principales:
- Barendregt, H., Barendsen, E. Introduction to Lambda Calculus (2000). Archivo adjunto a este correo.
- Haskell language documentation (principalemente Hackage, Hoogle, y Typeclassopedia). Disponible en https://www.haskell.org/documentation/
Profesores encargados:
Profesor instructor
Profesor asociado
Los esperamos, para adentrarnos o comenzar el camino en la programación funcional.