083F5BMovil

Cursillo Keeping Up! Fundamentos de programación funcional

Tenemos el gusto de invitarlos al cursillo Keeping Up! en "Fundamentos de programación funcional"

Keepup

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:

  1. Barendregt, H., Barendsen, E. Introduction to Lambda Calculus (2000). Archivo adjunto a este correo.
  2. Haskell language documentation (principalemente Hackage, Hoogle, y Typeclassopedia). Disponible en https://www.haskell.org/documentation/

Profesores encargados:

Daniel Barrera
Daniel Barrera
Profesor instructor
Nicolas Cardozo
Nicolás Cardozo
Profesor asociado

Los esperamos, para adentrarnos o comenzar el camino en la programación funcional.

Información adicional

  • Fecha: Todos los martes
  • Hora: 6:30 a 8:00 pm
  • Lugar: Salón LL 101
Leído 290 Tiempo Última modificación Lunes, 11 Septiembre 2023 10:42