Descripción
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 potentes que otros tipos; usar un solo lenguaje para tipos y programas permite que las descripciones de los programas sean tan potentes 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 deben estar familiarizados con los conceptos básicos de un lenguaje de programación tipo Lisp, tal como se presenta 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 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 intenta enseñar habilidades prácticas de programación ni un enfoque totalmente riguroso de los tipos. En cambio, demuestra los aspectos más hermosos de la forma más sencilla posible, paso a paso.
Autor: Daniel P. Friedman, David Thrane Christiansen
Editorial: MIT Press
Publicado: 18/09/2018
Páginas: 424
Tipo de encuadernación: Tapa blanda
Peso: 1.40lbs
Tamaño: 9.00h x 7.00w x 0.80d
ISBN13: 9780262536431
ISBN10: 0262536439
Categorías BISAC:
- Informática | Programación | General
Sobre el autor
Daniel P. Friedman es Profesor de Ciencias de la Computación en la Escuela de Informática, Computación e Ingeniería de la Universidad de Indiana y es autor de muchos libros publicados por MIT Press, incluyendo The Little Schemer y The Seasoned Schemer (con Matthias Felleisen); The Little Prover (con Carl Eastlund); y The Reasoned Schemer (con William E. Byrd, Oleg Kiselyov y Jason Hemann).