Implementación de lenguajes de programación. Introducción a compiladores e intérpretes

Título original:

Implementing Programming Languages. an Introduction to Compilers and Interpreters

Contenido del libro:

Implementar un lenguaje de programación significa tender un puente entre el pensamiento de alto nivel del programador y los ceros y unos de la máquina. Si esto se hace de forma eficaz y fiable, los programadores pueden concentrarse en los problemas reales que tienen que resolver, en lugar de en los detalles de las máquinas.

Pero comprender toda la cadena que va de los lenguajes a las máquinas sigue siendo una parte esencial de la formación de cualquier programador serio. El resultado será un programador más competente, que además será capaz de desarrollar nuevos lenguajes. Un nuevo lenguaje es a menudo la mejor manera de resolver un problema, y menos difícil de lo que puede parecer.

Este libro sigue un enfoque práctico basado en la teoría, en el que los modelos teóricos sirven de modelo para la codificación real. Se guía al lector para que construya compiladores e intérpretes de una forma bien entendida y escalable. Además, las soluciones son portables a diferentes lenguajes de implementación.

Gran parte del código real se genera automáticamente a partir de una gramática del lenguaje, utilizando la herramienta BNF Converter. El resto puede escribirse en Haskell o Java, para los que el libro ofrece una guía detallada, pero también, con algunas adaptaciones, en C, C++, C# u OCaml, que son compatibles con el convertidor BNF. El libro se centra principalmente en lenguajes imperativos y funcionales estándar: un subconjunto de C++ y un subconjunto de Haskell son los lenguajes fuente, y Java Virtual Machine es el objetivo principal.

Se muestra una sencilla compilación de código nativo Intel x86 para completar la cadena del lenguaje a la máquina. El último capítulo abandona los caminos estándar y explora el espacio del diseño de lenguajes, desde los lenguajes Turing-completos mínimos hasta la interacción persona-ordenador en lenguaje natural.