Oferta Tecnológica
Servicio tecnológico
Prestador Organismo
Detalle
Este seminario propone un recorrido a través de las extensiones más conocidas del sistema de tipo del compilador GHC de Haskell: 1. El sistema de tipos de Haskell, clases de tipos, 2. FlexibleContexts, FlexibleInstances, 3. GADTs, Phantom Types, 4. RankNPoly, DataKinds, 5. MultiParamTypeClasses, FunctionalDependencies, TypeFamilies.
Metodología
En este seminario se exponen contenidos teóricos, ejemplos concretos de uso y ejercicios a resolver en laboratorio. El público alcanzado son estudiantes o desarrolladores de software que tienen previo conocimiento del lenguaje Haskell y quieren profundizar su manejo de las extensiones del sistema de tipos de ese lenguaje para hacer aplicaciones
robustas.
Contacto