Charla: Usos prácticos de los Monoides

Es muy común encontrar tutoriales y documentación sobre monoides y semigrupos pero no lo es tanto encontrar ejemplos cercanos a los problemas que resolvemos cada día.

En esta charla no solo veremos que son los monoides y sus hermanos pequeños, los semigrupos, sino que veremos por que nos interesa utilizarlos y como pueden simplificar nuestro código enormemente.

Es una charla introductoria para desmitificar la teoría de categorías y ver que en realidad no hace falta ser matemático para sacarle partido.

Aunque la charla estará centrada en haskell los ejemplos son fácilmente extrapolables a otros lenguajes funcionales como Purescript, Scala o F#

Requerimientos: Conocimientos muy básicos de Haskell (Sintaxis)

Temario

• Monoides y semigrupos: definición

• Programación sin monoides: ejemplo

• Monoides: implementación basica

• Ventajas: Paralelismo y acumulación

• Redefinición de tipos para una mejor implementación

• Homomorfismos de monoides

• Como utilizar monoides sobre otros tipos no monoidales

• Free monoid

• Simplificación de la arquitectura mediante monoides

La aproximación de la charla sera eminentemente practica

Duración: 90-120 m