{"product_id":"the-little-typer-9780262536431","title":"El pequeño tipificador","description":"\u003cb\u003eUna introducción a los tipos dependientes, demostrando los aspectos más hermosos, paso a paso.\u003c\/b\u003e\u003cp\u003eEl 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. \u003ci\u003eThe Little Typer\u003c\/i\u003e 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 \u003ci\u003eThe Little Schemer\u003c\/i\u003e. \u003c\/p\u003e\u003cp\u003eLos primeros cinco capítulos de \u003ci\u003eThe Little Typer\u003c\/i\u003e 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. \u003ci\u003eThe Little Typer\u003c\/i\u003e 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.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-16595858\"\u003eDaniel P. Friedman\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-16608151\"\u003eDavid Thrane Christiansen\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e MIT Press\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 18\/09\/2018\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 424\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 1.40lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.00h x 7.00w x 0.80d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9780262536431\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 0262536439\u003cbr\u003e\u003cb\u003eCategorías BISAC:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM051000\"\u003eProgramación | General\u003c\/a\u003e\u003cbr\u003e\u003cbr\u003e\u003cp\u003e\u003cb\u003eSobre el autor\u003c\/b\u003e\u003cbr\u003eDaniel 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 \u003ci\u003eThe Little Schemer \u003c\/i\u003ey\u003ci\u003e The Seasoned Schemer\u003c\/i\u003e (con Matthias Felleisen); \u003ci\u003eThe Little Prover \u003c\/i\u003e(con Carl Eastlund); y \u003ci\u003eThe Reasoned Schemer\u003c\/i\u003e (con William E. Byrd, Oleg Kiselyov y Jason Hemann). \u003c\/p\u003e\u003cp\u003e\u003c\/p\u003eDavid Thrane Christiansen es miembro del personal técnico de Galois, Inc., en Portland, Oregón. \u003cp\u003e\u003c\/p\u003eRobert Harper es profesor de Ciencias de la Computación en la Universidad Carnegie Mellon.","brand":"MIT Press","offers":[{"title":"Default Title","offer_id":44702541447405,"sku":"9780262536431","price":91.67,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_95911bfb-e088-4301-b684-2aab7a8dbdc0.jpg?v=1703889348","url":"https:\/\/sureshotbooks.com\/es\/products\/the-little-typer-9780262536431","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}