Introducción a la programación funcional en Haskell

Aunque Prolog no es funcional, comparte con Haskell la primacía de un paradigma declarativo y un enfoque en la lógica subyacente de la computación, en contraste con los lenguajes imperativos. La 'nonobvious' conexión reside en explorar otro pilar de la programación declarativa que, como Haskell, transforma la manera de pensar un problema.

A diferencia de libros puramente sobre Haskell, SICP utiliza Scheme, otro lenguaje funcional, pero su valor reside en su enfoque pedagógico en los principios subyacentes de la programación funcional y la abstracción. Recomendar 'SICP' para alguien interesado en Haskell es 'nonobvious' porque expande la perspectiva funcional a otro paradigma Lisp, mostrando cómo los mismos principios aplican en contextos diferentes.

La programación funcional, especialmente Haskell, se basa en una sólida fundación matemática y semántica formal. Este libro, aunque no específicamente sobre Haskell, profundiza en la filosofía de cómo los lenguajes de programación obtienen su significado a través de la lógica y las matemáticas, un concepto intrínseco al diseño y la solidez de Haskell.

La programación funcional, y Haskell en particular, fomenta una manera muy particular de 'pensamiento computacional' que se alinea con la claridad, la descomposición de problemas y la abstracción. Este ensayo no trata directamente de Haskell, pero explora en profundidad la mentalidad subyacente que la programación funcional promueve, haciendo una conexión filosófica sobre cómo abordamos los problemas con herramientas computacionales.

Aunque existen muchas introducciones a Haskell en inglés y español, este título representa una voz de una tradición académica diferente (eslovena). Es 'obscure' por su idioma y la limitada visibilidad fuera de su contexto local, pero directamente relevante al tema principal. [books.google.com](https://books.google.com/books/about/Funcionalna_paradigma_in_jezik_Haskell.html?id=zB48PgAACAAJ)

Este libro, aunque en español, es un texto académico de una universidad específica que no tiene la distribución o visibilidad de publicaciones comerciales más grandes. Su origen en un entorno académico español ayuda a cumplir con el criterio de 'obscure' al no ser una opción principal en la mayoría de las búsquedas generalistas sobre Haskell. [librotea.eldiario.es](https://librotea.eldiario.es/libros/programacion-funcional-con-haskell), [books.google.com](https://books.google.com/books/about/Programaci%C3%B3n_funcional_con_Haskell.html?id=BLh4AAAACAAJ)

Haskell es célebre por su fuerte sistema de tipos y el uso extensivo de tipos de datos algebraicos. Este libro se centra en la 'estructura' de este concepto, que es un pilar arquitectónico de Haskell, permitiendo modelar datos complejos. Aunque podría tocar otros lenguajes, el énfasis en 'cómo se construyen' y 'cómo se usan' estos tipos es la similitud estructural.

Más que un tutorial de Haskell, el artículo de Wadler define la 'estructura' conceptual de las mónadas, que son un patrón de diseño fundamental en Haskell para manejar efectos en un lenguaje puro. Se conecta estructuralmente al libro de referencia porque el manejo de la concurrencia y los efectos (como se aborda brevemente en el PDF de referencia de Martínez López) es un pilar estructural del diseño de programas Haskell, y las mónadas son la técnica arquitectónica clave para lograrlo.