Temas avanzados en tipos y lenguajes de programación

Opiniones de los lectores

El libro está altamente considerado como esencial para investigadores y entusiastas de los lenguajes de programación, ya que ofrece una visión única de temas complejos que no se tratan en otros lugares.

⬤ Texto obligatorio para investigadores
⬤ escrito por expertos clave
⬤ cubre temas que no se encuentran en otra literatura
⬤ esencial para entender la programación dependiente de tipos
⬤ proporciona una discusión en profundidad sobre tipos lineales y polimorfismo de filas.

Audiencia potencialmente limitada, ya que puede ser demasiado técnico para principiantes; algunos temas son de nicho y pueden no atraer a todos los programadores.

(basado en 4 opiniones de lectores)

Título original:

Advanced Topics in Types and Programming Languages

Contenido del libro:

Una introducción completa y accesible a una serie de ideas clave en sistemas de tipos para lenguajes de programación.

El estudio de los sistemas de tipos para lenguajes de programación afecta actualmente a muchas áreas de la informática, desde el diseño y la implementación de lenguajes hasta la ingeniería de software, la seguridad de redes, las bases de datos y el análisis de sistemas concurrentes y distribuidos. Este libro ofrece introducciones accesibles a las ideas clave en este campo, con contribuciones de expertos en cada tema.

Los temas tratados incluyen análisis de tipos precisos, que amplían los sistemas de tipos simples para darles un mejor control sobre el comportamiento en tiempo de ejecución de los sistemas; sistemas de tipos para lenguajes de bajo nivel; aplicaciones de tipos al razonamiento sobre programas informáticos; teoría de tipos como marco para el diseño de sistemas de módulos sofisticados; y técnicas avanzadas en inferencia de tipos al estilo ML.

Advanced Topics in Types and Programming Languages se basa en Types and Programming Languages de Benjamin Pierce (MIT Press, 2002); la mayoría de los capítulos deberían ser accesibles a lectores familiarizados con notaciones básicas y técnicas de semántica operacional y sistemas de tipos, el material cubierto en la primera mitad del libro anterior.

Advanced Topics in Types and Programming Languages puede utilizarse en el aula y como recurso para profesionales. La mayoría de los capítulos incluyen ejercicios, que varían en dificultad desde comprobaciones rápidas de comprensión hasta ampliaciones desafiantes, muchos de ellos con soluciones.