% El sistema de tipos de Haskell/GHC y sus extensiones
Este curso es parte de la 25º Escuela de verano de Ciencias Informáticas de la UNRC (Rio Cuarto) y es dado por Guillaume Hoffmann.
Los horarios son: de lunes a viernes 8hs-10hs30 + examen el sábado.
Apuntes de las materia
Para hacer los ejercicios practicos es necesario tener GHC 8 (o más).
- Lunes: tipos, clases de tipos, Monoid
- Martes: IO, Functor, Monad, notación do
- Miércoles: MultiParamTypeClasses, FunctionalDependencies
- Jueves: TypeFamilies, GADTs
- Viernes: DataKinds
Contenidos adicionales
Para empezar con Haskell
Referencias al día sobre Haskell
Son artículos interesantes o referencias escritos hace poco (final del 2017 o principio del 2018).
- Reflecting on Haskell in 2017
- An opiniated guide to Haskell in 2018
- What I wish I knew when learning Haskell (2017)
- Haskell Notes for Professionals (PDF, compilación de posts en StackOverflow)
Artículos
- Type classes: an exploration of the design space (1997)
- Fun with functional dependencies (2000)
- A history of Haskell: being lazy with class (2007)
- Giving Haskell a Promotion (2012)
- Dependent Types in Haskell: Theory and Practice (2016) (cap. 2)