13
Al aprender Haskell, tuve la sensación de que los autores no siempre me contaban todo, así que para comprenderlo realmente me gustaría conocer la teoría detrás del sistema de tipos, mónadas y conceptos como ese.Referencias para aprender la teoría detrás de lenguajes funcionales puros como Haskell?
La mayoría de estos conceptos provienen de la teoría de categorías que escuché, ¿cuáles son algunos buenos libros/sitios web sobre este tema y temas relacionados?
La relación entre FP, la semántica de denotación y la teoría de categorías es muy sutil. Además, la teoría de categorías es bastante difícil de entender sin un conocimiento sólido de muchas áreas de las matemáticas: dado que es tan abstracto, no se puede comprender sin muchos ejemplos de áreas muy diferentes. Una referencia a fondo es el libro de Saunders MacLane 'Teoría de categorías para el matemático de trabajo'. Lo que me sorprende con este libro es que es utilizado por igual por personas que hacen * muy * cosas diferentes y que no se entienden entre sí: geómetras algebraicos, lógicos, programadores, físicos, topólogos, etc. –