Il piccolo tipografo

Recensioni dei lettori

Il libro fornisce un'introduzione completa e piacevole ai tipi dipendenti attraverso un formato guidato dal dialogo, con un focus su un linguaggio giocattolo chiamato Pie. Sebbene sia apprezzato per il suo approccio pedagogico e per la capacità di cambiare il modo in cui i lettori pensano alla programmazione, può essere considerato troppo elementare per chi ha già familiarità con i tipi dipendenti. I lettori raccomandano di prendersi il tempo necessario per riflettere sul materiale, e alcuni suggeriscono letture multiple per una piena comprensione.

Introduzione accessibile e piacevole, formato di dialogo coinvolgente che migliora l'apprendimento, forte attenzione ai dettagli, eccellente per i principianti, aiuta a cambiare prospettiva sulla programmazione, struttura pedagogica efficace, approfondimenti preziosi sui tipi dipendenti.

Può essere troppo elementare per gli utenti avanzati, non è adatto a chi preferisce un'informazione diretta, la versione Kindle ha problemi di navigazione, richiede una certa conoscenza preliminare della programmazione funzionale e di Scheme.

(basato su 21 recensioni dei lettori)

Titolo originale:

The Little Typer

Contenuto del libro:

Un'introduzione ai tipi dipendenti, mostrando gli aspetti più belli, un passo alla volta.

Il tipo di un programma descrive il suo comportamento. I tipi dipendenti sono una parte di prima classe di un linguaggio e sono molto più potenti di altri tipi; l'uso di un solo linguaggio per i tipi e i programmi permette alle descrizioni dei programmi di essere potenti quanto i programmi che descrivono. The Little Typer spiega i tipi dipendenti, partendo da un linguaggio molto piccolo che assomiglia molto a Scheme ed estendendolo per coprire sia la programmazione con i tipi dipendenti sia l'uso dei tipi dipendenti per il ragionamento matematico. I lettori dovrebbero avere familiarità con le basi di un linguaggio di programmazione simile al Lisp, come presentato nei primi quattro capitoli di The Little Schemer.

I primi cinque capitoli di The Little Typer forniscono gli strumenti necessari per comprendere i tipi dipendenti; i restanti capitoli utilizzano questi strumenti per creare un ponte tra matematica e programmazione. I lettori impareranno che gli strumenti che conoscono nella programmazione - coppie, liste, funzioni e ricorsione - possono anche catturare modelli di ragionamento. The Little Typer non cerca di insegnare né abilità pratiche di programmazione né un approccio completamente rigoroso ai tipi. Al contrario, mostra gli aspetti più belli nel modo più semplice possibile, un passo alla volta.