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
  • Teórico
  • Práctico
• Martes: IO, Functor, Monad, notación do
  • Teórico
  • Práctico
• Miércoles: MultiParamTypeClasses, FunctionalDependencies
  • Teórico
  • Práctico
• Jueves: TypeFamilies, GADTs
  • Teórico
• Viernes: DataKinds
  • Teórico
  • Práctico

Contenidos adicionales

Para empezar con Haskell

• Programación funcional (Universidad de Sevilla)
• Mumuki, serie de ejercicios en 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)

Software libre en Haskell necesitando ayuda

• Darcs
• Pandoc
• Patat (Presentations Atop The ANSI Terminal)
• Ver también el Haskell Community and Activities Report