Don't fear the Profunctor Optics

Las ópticas (Lenses, Prisms, Traversals, etc.) son abstracciones que nos permiten llevar a cabo transformaciones sobre estructuras de datos inmutables de una manera muy elegante. Recientemente, ha surgido un creciente interés en la comunidad funcional por una nueva representación para las mismas, basada en profunctors. Este concepto, junto con otros que vienen de la mano (cartesian, cocartesian, monoidal, etc.), pueden resultar muy intimidantes a primera vista. Sin embargo, veremos que representan ideas muy sencillas, que encajan a la perfección en el problema de la actualización de estructuras de datos inmutables.

A grandes rasgos, la charla persigue dos objetivos. Por un lado, se procurará mostrar el estado del arte de las ópticas y la dirección que van a tomar las librerías en los próximos años. Por otro lado, se pretende que el programador pierda el miedo a experimentar con nuevas abstracciones funcionales, que suelen ser más cercanas de lo que muchas veces nos pensamos. Como puede intuirse, no será una charla de gran utilidad práctica para el asistente, ya que las librerías actuales están todavía en una etapa muy temprana. No obstante, será un encuentro donde se verán muchos ejemplos de código, en los que se plasmarán estas técnicas recién sacadas del horno del paradigma funcional.

---
¡Muchas gracias a Jesús (@jeslg) de Habla Computing por esta fantástica charla!