Compiladores: Principios, Técnicas y Herramientas

Aunque no es un libro de programación, comparte la profunda abstracción y la 'meta' naturaleza de los compiladores. Hofstadter explora sistemas formales y cómo las reglas simples dan lugar a comportamientos complejos, un eco de cómo un conjunto de reglas sintácticas y semánticas en un compilador permite la emergencia de programas funcionales.

A diferencia de los compiladores de lenguajes de alto nivel, la compilación para PLCs (como el que se describe aquí para Ladder) es una forma muy distinta pero fundamental de traducir lógica de un dominio (el control de procesos) a una máquina. Ofrece una perspectiva práctica y menos académica de la traducción de lenguajes.

Los compiladores son una realización práctica de las ideas teóricas de Turing sobre la computabilidad. Este libro profundiza en los fundamentos filosóficos y matemáticos que hacen posible la existencia de los compiladores y toda la ciencia de la computación, conectando con el marco teórico subyacente al libro de Aho et al.

Construir un compilador es diseñar un sistema complejo donde cada parte (léxico, sintáctico, semántico, optimización, generación de código) interactúa con las demás. Este libro proporciona un marco mental para entender y manipular tales sistemas, conectando con la 'arquitectura de pensamiento' fundamental involucrada en el diseño de compiladores.

Este manual, que documenta el nacimiento de un lenguaje de programación con una estructura muy particular (ligada a la recursión y la evaluación simbólica), ofrece una perspectiva histórica y a menudo olvidada en la era de los lenguajes imperativos modernos. LISP fue instrumental en el desarrollo de la IA y el procesamiento de lenguajes en sus inicios, y su diseño influyó en muchas ideas detrás de la traducción de lenguajes.

Bauer fue una figura crucial en la informática alemana y europea, y sus trabajos, aunque menos conocidos en el ámbito anglosajón, son fundamentales para entender el desarrollo temprano de la ciencia de la computación, incluyendo los formalismos detrás de los lenguajes de programación y los compiladores. Ofrece una visión 'continental' sobre los principios de la construcción de software.

Este libro no solo enseña programación, sino que profundiza en la construcción de intérpretes y lenguajes de programación, abordando de manera práctica muchos de los conceptos teóricos subyacentes a un compilador (evaluación, metalingüismo, representación de datos). El lector tiene la oportunidad de construir un pequeño 'compilador' o intérprete, lo que refuerza la comprensión estructural de cómo se transforma el código.

Mientras que el libro de referencia (el 'Dragon Book' más conocido) es fundamental, el de Muchnick presenta una estructura y un enfoque ligeramente diferentes, particularmente en la cobertura de la optimización y la generación de código. Ambos abordan las mismas fases de la construcción de un compilador, pero con variaciones en el orden y el énfasis, mostrando estructuras pedagógicas alternativas para el mismo tema complejo.