Richard Bird

Un texto que introduce la programación funcional utilizando Haskell, destacando la construcción de programas a partir de funciones puras y la evitación de estados mutables.

Este libro presenta una introducción rigurosa y elegante a la programación funcional utilizando Haskell, centrándose en el desarrollo de programas correctos y eficientes mediante la derivación y transformación de especificaciones.

Una introducción completa al lenguaje de programación funcional Haskell, enfatizando los principios de la programación funcional, la abstracción, la composición y el razonamiento sobre programas. Cubre desde los conceptos básicos hasta temas avanzados como la monads y la IO.

Un texto clásico que introduce la programación funcional con Haskell, enfatizando la importancia de la teoría subyacente, la demostración de la corrección de programas y el desarrollo de algoritmos elegantes. Aborda los temas de manera rigurosa y formal. [books.google.com](https://books.google.com/books/about/Introduction_to_Functional_Programming_U.html?id=xIlyOiGOC6EC)

Introduce la programación funcional a través del lenguaje Haskell, haciendo hincapié en la declaración de funciones, la inmutabilidad y la composición como métodos para resolver problemas.

Un texto de referencia sobre el lenguaje de programación funcional Haskell, explorando sus conceptos clave como tipos, funciones, mónadas e inferencia de tipos, y cómo permiten escribir programas elegantes y correctos.