El pequeño tipógrafo

Opiniones de los lectores

El libro ofrece una introducción completa y amena a los tipos dependientes a través de un formato basado en el diálogo y centrado en un lenguaje de juguete llamado Pie. Aunque es apreciado por su enfoque pedagógico y su capacidad para cambiar la forma en que los lectores piensan sobre la programación, puede considerarse demasiado básico para quienes ya estén familiarizados con los tipos dependientes. Los lectores recomiendan tomarse el tiempo necesario para reflexionar sobre el material, y algunos sugieren varias lecturas para una comprensión completa.

Introducción accesible y amena, el atractivo formato de diálogo mejora el aprendizaje, gran atención al detalle, excelente para principiantes, ayuda a cambiar las perspectivas sobre la programación, estructura pedagógica eficaz, valiosos conocimientos sobre los tipos dependientes.

Puede ser demasiado básico para usuarios avanzados, no es adecuado para quienes prefieren una entrega de información directa, la versión Kindle tiene problemas de navegación, requiere algunos conocimientos previos de programación funcional y Scheme.

(basado en 21 opiniones de lectores)

Título original:

The Little Typer

Contenido del libro:

Una introducción a los tipos dependientes, demostrando los aspectos más bellos, paso a paso.

El tipo de un programa describe su comportamiento. Los tipos dependientes son una parte de primera clase de un lenguaje, y son mucho más poderosos que otras clases de tipos; usar sólo un lenguaje para tipos y programas permite que las descripciones de programas sean tan poderosas como los programas que describen. The Little Typer explica los tipos dependientes, comenzando con un lenguaje muy pequeño que se parece mucho a Scheme y extendiéndolo para cubrir tanto la programación con tipos dependientes como el uso de tipos dependientes para el razonamiento matemático. Los lectores deberían estar familiarizados con los fundamentos de un lenguaje de programación similar a Lisp, como se presenta en los cuatro primeros capítulos de The Little Schemer.

Los cinco primeros capítulos de The Little Typer proporcionan las herramientas necesarias para entender los tipos dependientes; los capítulos restantes utilizan estas herramientas para construir un puente entre las matemáticas y la programación. Los lectores aprenderán que las herramientas que conocen de la programación -pares, listas, funciones y recursividad- también pueden capturar patrones de razonamiento. The Little Typer no pretende enseñar habilidades prácticas de programación ni un enfoque riguroso de los tipos. En su lugar, demuestra los aspectos más hermosos de la forma más sencilla posible, paso a paso.