Fundamentos prácticos de los lenguajes de programación

Opiniones de los lectores

El libro es elogiado por su material de alta calidad y los profundos conocimientos del autor en teoría de lenguajes de programación. Sin embargo, muchos lectores lo consideran excesivamente complejo y poco fácil de usar, alegando falta de intuición en las explicaciones y una gran dependencia de las pruebas formales.

⬤ Material de alta calidad y bella presentación
⬤ definiciones concisas y precisas
⬤ conocimiento autorizado del autor
⬤ ejemplos detallados de código y metodología en programación
⬤ tema atractivo.

⬤ No es fácil de usar
⬤ demasiado abstracto en algunas partes
⬤ explicaciones intuitivas insuficientes
⬤ gran dependencia de las pruebas formales
⬤ puede resultar confuso sin el apoyo adicional de los instructores.

(basado en 5 opiniones de lectores)

Título original:

Practical Foundations for Programming Languages

Contenido del libro:

Este texto desarrolla una teoría exhaustiva de los lenguajes de programación basada en sistemas de tipos y semántica operacional estructural. Los conceptos de los lenguajes se definen con precisión mediante su semántica estática y dinámica, presentando las herramientas esenciales tanto de forma intuitiva como rigurosa, y basándose únicamente en matemáticas elementales.

Estas herramientas se utilizan para analizar y demostrar propiedades de los lenguajes y proporcionan el marco para combinar y comparar características de los lenguajes. La amplia gama de conceptos incluye tipos de datos fundamentales como sumas y productos, tipos polimórficos y abstractos, tipado dinámico, envío dinámico, tipos de subtipado y refinamiento, símbolos y clasificación dinámica, paralelismo y semántica de costes, y concurrencia y distribución.

Los métodos son directamente aplicables a la implementación de lenguajes, al desarrollo de lógicas para el razonamiento sobre programas y a la verificación formal de propiedades de lenguajes como la seguridad de tipos. Esta segunda edición, completamente revisada, incluye ejercicios al final de casi todos los capítulos y un nuevo capítulo sobre refinamiento de tipos.