Programación funcional con Haskell

Aunque utiliza un lenguaje diferente (Scheme) y no se enfoca exclusivamente en la programación funcional pura como Haskell, la filosofía subyacente de Abelson y Sussman sobre la construcción de programas a partir de abstracciones funcionales y la manipulación de datos como funciones es profundamente afín a los principios de Haskell, explorando la esencia computacional más allá de la sintaxis específica.

A diferencia de Haskell, Scala integra los paradigmas funcional y orientado a objetos. Sin embargo, su enfoque en las colecciones inmutables, las funciones de orden superior y los patrones de concurrencia (como los actores) comparte una base teórica y práctica con la programación funcional de Haskell, ofreciendo una perspectiva menos dogmática pero igualmente profunda en la aplicación de principios funcionales en un entorno más mixto.

Mientras que 'Programación funcional con Haskell' enseña la aplicación práctica del paradigma, el libro de Barendregt profundiza en los fundamentos matemáticos que subyacen a Haskell. Comprender el cálculo lambda proporciona una visión esencial de la 'arquitectura de pensamiento' detrás de la evaluación de funciones, la notación y la semántica que Haskell encarna.

La teoría de categorías es un pilar conceptual fundamental para entender los patrones avanzados y las estructuras de datos en Haskell. Este libro, aunque no sobre Haskell directamente, explora las mismas construcciones matemáticas de 'Programación funcional con Haskell' como mónadas y funtores, pero desde la lente rigurosa de la matemática pura, sin la sintaxis específica del lenguaje.

Aunque Haskell es el lenguaje más conocido, Standard ML (SML) fue un pionero vital en la programación funcional y comparte muchas de sus ideas rectoras (tipos, inferencia de tipos, funciones de orden superior). Este libro ofrece una perspectiva igualmente rigurosa sobre el paradigma funcional desde un lenguaje menos mainstream en la actualidad, y menos predominante en las listas anglosajonas que Haskell.

Similar a Haskell en sus raíces funcionales y su sistema de tipos fuertes, ML, y en particular su dialecto Standard ML, ofrece una visión alternativa del paradigma. Paulson no solo enseña el lenguaje sino que también aborda la lógica subyacente y el razonamiento formal, un aspecto central en la filosofía del libro de Bird, pero desde una tradición académica europea menos difundida globalmente.

Al igual que el libro de Bird, este texto estructura su enseñanza alrededor de un lenguaje funcional específico (OCaml) para construir una comprensión profunda de los algoritmos y la complejidad computacional. Propone un camino similar, introduciendo gradualmente conceptos funcionales y su aplicación práctica, compartiendo la misma estructura pedagógica de 'lenguaje como vehículo para los conceptos'.

Este libro comparte con el de Bird un enfoque pedagógico que prioriza los principios sobre la sintaxis. Ambos textos construyen la comprensión de un paradigma ('funcional') usando un lenguaje (Haskell para Bird, un lenguaje didáctico para Henderson) que es fiel a esos principios, y ambos enfatizan el razonamiento sobre la corrección y eficiencia de los programas. La estructura de ir de la teoría a la aplicación es similar.