Programación funcional puramente aplicada

Aunque no es un libro de programación, Hofstadter explora la lógica formal, los sistemas autorreferenciales y la recursión de maneras que son profundamente análogas a los principios de la programación funcional. La "pureza" de los sistemas formales que describe se alinea con la idea de la programación funcional puramente aplicada.

Si bien es un clásico en informática, recomendar un libro sobre compiladores para programación funcional es "nonobvious" porque Miranda, como lenguaje funcional, opera con paradigmas de evaluación diferentes a los de muchos lenguajes imperativos. Este libro expone los fundamentos de cómo las construcciones de lenguaje, incluyendo las expresiones funcionales, se traducen en ejecución, lo cual es vital para comprender la "aplicación" de la programación funcional subyacente.

Este libro aborda en profundidad los principios teóricos que sustentan la programación funcional, discutiendo conceptos como las mónadas y los tipos puros. Ofrece una base filosófica y matemática para entender la 'pureza' y la 'aplicación' en el contexto de Miradna, yendo más allá de la mera sintaxis del lenguaje.

Este libro es una alternativa menos conocida, escrita por un autor holandés, que explora los fundamentos de la programación funcional con un enfoque muy similar al de Miranda, incluyendo la exploración de la evaluación perezosa y los tipos de datos algebraicos que son centrales en Miranda. Es una voz europea en un campo a menudo dominado por publicaciones anglosajonas.

Lisp fue uno de los primeros lenguajes funcionales, y este libro de Paul Graham (un autor de habla inglesa, pero con un texto que profundiza en un lenguaje menos popular hoy en día y con un enfoque muy personal) explora la belleza y el poder del paradigma funcional desde una perspectiva diferente a la de Miranda. Ofrece una visión 'obscura' de cómo la aplicación de la programación funcional puede llevar a soluciones elegantes y concisas, destacando la importancia de la 'pureza' de las ideas en el diseño de software.

OCaml, como Miranda, es un lenguaje funcional que enfatiza los tipos de datos algebraicos, el pattern matching y la inferencia de tipos. Este libro explora cómo estas características estructurales del lenguaje se usan para construir software robusto. Aunque OCaml tiene características imperativas, su fuerte base funcional y su sistema de tipos riguroso lo hacen estructuralmente comparable en la aplicación de la pureza y la abstracción.