ventajas operadores logicos inteligencia ejemplos desventajas artificial aritmeticos haskell functional-programming

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?



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 .



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).