Madrid Haskell Users Group - Programación genérica (generics) en Haskell
Thursday 6 June 2019, 18:30 - 19:30
Calle Gran Vía, 39, Madrid, España
Celebramos la visita de alejandro Serrano Mena a Madrid, y sobre todo celebramos el workshop que dará en una fecha y espacio aún por confirmar. Este evento es co-organizado con nuestros amigos de Functional Pogramming (https://www.meetup.com/FP-Madrid), celebrando el arribo de Jesús López como organizador de la comunidad de programación funcional, muchos éxitos en la gestión del grupo. # DESCRIPCIÓN DEL WORKSHOPLa programación genérica en tipos de datos (data type-generic programming) nos permite describir algoritmos que dependen de forma uniforme de la definición del tipo. Los ejemplos más conocidos son la igualdad de valores (==), o la serialización como cadena (show) o JSON (toJson/fromJson). El potente sistema de tipos de Haskell permite describir estos algoritmos sin necesidad de usar mecanismos que puedan conducir a errores en tiempo de ejecución, al contrario que otros métodos como reflection en Java. En este workshop nos adentraremos en este tema, entendiendo primero cómo se representan los tipos de datos en forma de "funtores patrón" (pattern functors), y después cómo escribir funciones sobre esos patrones. Lo haremos usando dos de las librerías más comunes para estos menesteres: el sistema integrado de GHC.Generics, y la más novedosa "generics-sop". Si el tiempo lo permite, también indagaremos sobre los límites de esta técnica en cuanto a la representación de tipos indizados (GADTs). # SPEAKERAlejandro Serrano Mena (@trupill) es profesor de Ciencias de la Computación en Utrecht (Países Bajos), donde se dedica a la enseñanza e investigación en lenguajes funciones, principalmente en Haskell. En su haber tiene un par de libros, "Practical Haskell" y "The Book of Monads", y participa siempre que puede en conferencias sobre estos temas. Su meta personal es conseguir que el tooling de Haskell sea de primer nivel: ha participado en proyectos de mejora de EclipseFP y ghc-mod, y ha escrito una tesis sobre cómo mejorar los mensajes de error en el compilador. ¡¡¡ Los esperamos !!!
Publicado por: Betabeers