Introduccion a teoria de categorias para programadores (en Scala)

Gabriel Claramunt nos presenta una introducción a teoría de categorías, hecha a medida para programadores Scala. En sus propias palabras:

"De los oscuros rincones de la matemática a su lenguaje de programación favorito, la teoría de categorías ofrece un conjunto de herramientas compacto pero muy poderoso para razonar y construir programas.

Qué es una categoría? Qué es un Functor? A quien corno le importa?

Esta charla apunta a presentar los conceptos básicos y porque son importantes en el día a día de los programadores.

Vos también podes ser el alma de la fiesta y ganar fama y dinero con teoría de categorías!* (algunos resultados pueden ser exagerados con propósitos de publicidad)

Si sobreviven a la primera parte, podemos continuar con Scala-reggen, un experimento en programación genérica en Scala. Donde usando teoría de categorías, le daremos un vistazo al fold y como se puede generalizar para que funcione con cualquier tipo de datos (recursivo). Advertencia: esta charla no es ninguna divagación teórica, es con código, compilando y ejecutando..."

Sobre Gabriel

Gabriel era un feliz desarrollador de Java enterprise hasta que encontró Scala y se arruino la vida. Ahora merodea por ahí murmurando palabras extrañas como "functor" y "curry-howard". A pesar de pretender que vive en Uruguay, vivió una vida bastante nómada, trabajando para grandes empresas y pequeñas startups a lo largo del continente americano.