Miranda: The Craft of Functional Programming

Mientras que 'Miranda' se centra en un paradigma, este libro ofrece una visión más amplia y comparativa de los 'conceptos, técnicas y modelos' de la programación, incluyendo el funcional de manera prominentemente. La conexión radica en la metacomunicación sobre cómo se construyen y entienden los programas, y cómo diferentes enfoques abordan problemas similares. [info.ucl.ac.be](https://www.info.ucl.ac.be/~pvr/biblio/ctm.html)

Aunque utiliza un lenguaje diferente (Scheme, de la familia Lisp), su enfoque es profundamente funcional y enfatiza los 'principios grandes' de la programación y la computación. Comparte con el libro de referencia la idea de 'artesanía' y diseño riguroso, más que la mera codificación, y ha influido en generaciones de programadores funcionales. [mit.edu](https://mit.edu/sicp)

Comparte la filosofía de 'aprender haciendo' y la profundización en los fundamentos de la computación funcional. Aunque el lenguaje es Scheme, su enfoque en la recursión, las funciones como valores de primera clase y la construcción de programas a partir de pequeños ladrillos refleja la esencia de la programación funcional que Thompson busca enseñar con Miranda, haciendo hincapié en el 'cómo pensar' más allá del 'qué sintaxis'. [mit.edu](https://mit.edu/the-little-schemer)

Mientras 'Miranda' se enfoca en la práctica funcional, este libro se sumerge en los fundamentos lógicos y matemáticos que justifican la elegancia y corrección de la programación funcional. Ambos comparten una profunda apreciación por la lógica subyacente a la construcción de programas correctos, una idea central en 'The Craft of Functional Programming'. [worldcat.org](https://worldcat.org/es/title/774431835)

Como 'Miranda', este libro es una introducción didáctica a la programación funcional, pero se enfoca en Haskell, un lenguaje descendiente espiritual de Miranda. Al ser un texto escrito por un autor hispanohablante y menos conocido en la esfera anglosajona, ofrece una perspectiva valiosa y accesible para desarrollar las mismas habilidades de 'artesanía funcional'. [books.google.com](https://books.google.com/books/about/Introducci%C3%B3n_a_la_programaci%C3%B3n_funcio.html?id=l6J-PgAACAAJ)

Similar al libro de referencia en su propósito de enseñar programación funcional como una 'artesanía', pero lo hace desde una tradición académica diferente (polaca) y utilizando un lenguaje como Haskell, que aunque más actual, mantiene una fuerte conexión conceptual con Miranda. Su menor difusión en el ámbito angloparlante lo hace 'oscuro' pero relevante. [books.google.com](https://books.google.com/books/about/Programowanie_funkcyjne_z_j%C4%99zykiem_Hask.html?id=m6M0PgAACAAJ)

Este libro es la reimaginación del propio autor del 'craft' de la programación funcional, esta vez con Haskell. La estructura, los capítulos y la filosofía de enseñanza son casi idénticos, ofreciendo una evolución directa del libro de referencia con un lenguaje más moderno pero con la misma claridad pedagógica y rigor. [simonjohnthompson.github.io](https://simonjohnthompson.github.io/craft3e/craft3e.pdf)

Comparte una estructura didáctica muy similar al libro de referencia, progresando desde los fundamentos teóricos hasta la aplicación práctica, y con un fuerte énfasis en la 'prueba de corrección' y los aspectos formales. Ambos libros buscan formar al lector en la disciplina de construir programas robustos y bien razonados, más allá de la mera codificación, y con una clara progresión temática entre capítulos. [books.google.com](https://books.google.com/books/about/Introduction_to_Functional_Programming_U.html?id=xIlyOiGOC6EC)