Concepts, Techniques, and Models of Computer Programming

Aunque no es un libro de programación directo, aborda los fundamentos de la recursión, la auto-referencia y los sistemas formales, que son conceptos subyacentes a la comprensión profunda de múltiples paradigmas de programación, especialmente en la definición de lenguajes y modelos computacionales.

Este libro ofrece un marco filosófico para entender cómo evolucionan las 'paradigmas' en cualquier campo, incluyendo la programación. CTM explora múltiples paradigmas de programación, y la obra de Kuhn ayuda a reflexionar sobre por qué surgen nuevos paradigmas, cómo coexisten y cómo cambian nuestra forma de pensar sobre la resolución de problemas en computación.

Al igual que CTM, SICP aborda la programación con un enfoque en los conceptos fundamentales y la estructura subyacente. Ambos libros buscan ir más allá de la sintaxis de un lenguaje específico para enseñar principios atemporales de la computación, aunque CTM lo hace a través de múltiples paradigmas y SICP a través de la construcción de abstracciones en un lenguaje funcional. Ambos son elogiados por Peter Norvig como referencias en su campo. [mitpress.mit.edu](https://www.mitpress.mit.edu/9780262220699/concepts-techniques-and-models-of-computer-programming/)

CTM hace hincapié en la semántica formal de sus lenguajes kernel como base para comprender los paradigmas de programación. Este libro profundiza en las herramientas matemáticas y lógicas detrás de esa formalización, compartiendo el mismo compromiso con la precisión y el rigor en la definición de cómo se comportan los programas.

Mientras CTM presenta una visión unificada de múltiples paradigmas, esta obra, de un autor belga menos conocido en el ámbito anglófono, se centra en la integración práctica y menos convencional de dos paradigmas clave, reflejando el espíritu multiparadigma de CTM pero desde una perspectiva más aplicada y con un enfoque específico.

CTM dedica una parte importante a la programación declarativa relacional. Este libro, de un autor español, es una referencia académica sobre el paradigma de programación lógica, a menudo infravalorado en la enseñanza masiva, y ofrece una inmersión completa en sus conceptos y aplicaciones, similar a cómo CTM aborda cada paradigma.

Similar a CTM, EOPL utiliza un enfoque de 'lenguajes kernel' para desglosar y explicar los conceptos de programación. Ambos libros construyen la comprensión desde los fundamentos, mostrando cómo características complejas de los lenguajes pueden ser entendidas y formalizadas mediante modelos más simples. CTM usa Oz como el 'kernel' y EOPL usa Scheme.

CTM presenta diversos paradigmas, incluyendo la programación funcional, y utiliza lenguajes kernel para estructurar la explicación. Este libro, aunque centrado en Haskell, también construye la comprensión de un paradigma complejo de manera incremental, partiendo de los fundamentos y mostrando cómo los conceptos se combinan para formar un estilo de programación coherente y poderoso, reflejando una estructura pedagógica similar de 'construcción desde kernel'.