Talk

Howard Wolowitz en Big Bang Theory, a pesar de haber estudiado en el MIT, no suele entender las explicaciones de Sheldon Cooper. Lo mismo nos pasa a los desarrolladores cuando nos intentan explicar la Teoría de Categorías. "La Teoría de Categorías es un estudio matemático que trata de axiomatizar de forma abstracta diversas estructuras matemáticas como una sola, mediante el uso de objetos y morfismos." Tal vez, el problema es que en lugar de Sheldon, quien debiera ayudarnos a entender estos conceptos es alguien más empático con nosotros, Leonard Hofstadter. En Big Bang Category Theory, analizaremos los conceptos utilizados en Programación Funcional de la Teoría de Categorías desde un prisma práctico y cercano, donde llevaremos sus definiciones formales a un código que soluciona problemas cotidianos, y empezaremos a entender cómo podemos ser mejores desarrolladores si introducimos estas leyes y axiomas a nuestro código diario.

Mis objetivos de la charla son: * Explicar para qué se puede usar la teoría de categorías en el mundo del desarrollo * Explicar conceptos como monoide, functor o mónada * Mostrar usos de dichos conceptos en el desarrollo software