Tipos de refinamiento: A Tutorial

Título original:

Refinement Types: A Tutorial

Contenido del libro:

Los tipos de refinamiento pueden ser el vector que introduzca la verificación formal en la corriente principal del desarrollo de software. Este feliz resultado depende del diseño y la implementación de sistemas de tipos de refinamiento que puedan adaptarse a los lenguajes existentes o co-diseñarse con otros nuevos.

En este libro, los autores catalizan el desarrollo de tales sistemas destilando las ideas desarrolladas en la extensa literatura sobre el tema en un tutorial coherente y unificado que explica los ingredientes clave de los modernos sistemas de refinamiento de tipos, mostrando cómo implementar un verificador de refinamiento de tipos.

Inspirándose en el marco de trabajo nanopass para la enseñanza de la compilación, los autores muestran cómo implementar tipos de refinamiento a través de una progresión de lenguajes que van añadiendo características al lenguaje o al sistema de tipos.

El libro, de fácil acceso, ofrece al lector una introducción detallada a los tipos de refinamiento utilizando un estilo tutorial innovador que permite un aprendizaje rápido. Además, la implementación de software que lo acompaña permite a los lectores trabajar con ejemplos prácticos del mundo real.