operadores - ¿Referencias para aprender la teoría detrás de lenguajes funcionales puros como Haskell?
operadores logicos y aritmeticos en haskell (5)
Haskell tiene un sistema tipo Hindley Milner. Ver Wikipedia y esta publicación en el blog para más detalles.
Mientras aprendía 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.
La mayoría de estos conceptos provienen de la teoría de categorías que escuché, entonces, ¿cuáles son algunos buenos libros / sitios web sobre este tema y temas relacionados?
Los artículos de Philip Wadler y Simon Peyton Jones deberían ayudarlo a comenzar con la teoría detrás de Haskell. El libro La implementación de lenguajes de programación funcional (disponible en línea) por Simon Peyton Jones es bastante antiguo, pero sigue siendo interesante.
Recomiendo ver algunos de los trabajos de investigación sobre el tema. Las "Mónadas de Comprensión" de Philip Wadler y las "Mónadas para la programación funcional" son dos buenos lugares para comenzar a entender las mónadas.
Encontrará enlaces a la mayoría en http://www.haskell.org/haskellwiki/Research_papers .
Tal vez encuentres útil esta publicación en el blog .
El cálculo lambda es definitivamente importante si realmente quieres entender los lenguajes funcionales. Puedo recomendar la introducción de Henk Barendregt , así como su libro (texto completo en línea).