The Little Typer (the Mit Press), De Friedman, Daniel P.. Editorial The Mit Press, Tapa Blanda En Inglés

Descripción

Libro: The Little Typer (The MIT Press)

Descripción:
Una introducción a los tipos dependientes que ilustra sus aspectos más atractivos de manera gradual. Un tipo de programa especifica su comportamiento. Los tipos dependientes son una parte integral de un lenguaje de programación y ofrecen capacidades superiores en comparación con otros tipos de tipos. La integración de tipos y programas en un mismo lenguaje permite que las descripciones de los programas sean tan expresivas como los propios programas. The Little Typer enseña sobre tipos dependientes, partiendo de un lenguaje muy sencillo similar a Scheme y expandiéndose para abarcar tanto la programación con tipos dependientes como su aplicación en el razonamiento matemático. Se recomienda que los lectores tengan conocimiento de los fundamentos de un lenguaje de programación parecido a Lisp, tal como se expone en los primeros cuatro capítulos de The Little Schemer.

Los primeros cinco capítulos de The Little Typer proporcionan las herramientas necesarias para comprender los tipos dependientes; los capítulos subsiguientes aplican estas herramientas para tender un puente entre las matemáticas y la programación. Los lectores descubrirán que herramientas comunes en programación (como pares, listas, funciones y recursividad) también pueden reflejar patrones de razonamiento. The Little Typer no se propone enseñar técnicas de programación aplicadas ni un sistema completo de tipos. Por el contrario, expone los aspectos más estéticos de la manera más clara y sencilla, paso a paso.