Functional Programming Madrid - Programación genérica (generics) en Haskell
Thursday 6 June 2019, 18:30 - 19:30
Calle Gran Vía, 39, Madrid, España
¡Ya tenemos próximo evento en FP-Madrid! Esta vez tendremos la suerte de contar con Alejandro Serrano Mena (Universidad de Utrecht), que llevará a cabo un workshop sobre genéricos en Haskell. Como no podría ser de otra manera, este evento se coorganiza con nuestros amigos de Haskell-MAD (https://www.meetup.com/es-ES/Haskell-MAD/). Nos gustaría dar las gracias a GO Madrid por cedernos el espacio para poder realizar este evento. # 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.
Publicado por: Betabeers