Fondamenti pratici per i linguaggi di programmazione

Recensioni dei lettori

Il libro è apprezzato per l'alta qualità del materiale e per la profonda conoscenza della teoria dei linguaggi di programmazione da parte dell'autore. Tuttavia, molti lettori lo ritengono eccessivamente complesso e non facile da usare, citando una mancanza di intuizione nelle spiegazioni e una forte dipendenza dalle prove formali.

⬤ Materiale di alta qualità e bella presentazione
⬤ definizioni concise e accurate
⬤ conoscenze autorevoli dell'autore
⬤ esempi di codice dettagliati e metodologia di programmazione
⬤ argomento coinvolgente.

⬤ Non facile da usare
⬤ eccessivamente astratto in alcune parti
⬤ insufficienti spiegazioni intuitive
⬤ forte affidamento sulle prove formali
⬤ può essere fonte di confusione senza un ulteriore supporto da parte degli istruttori.

(basato su 5 recensioni dei lettori)

Titolo originale:

Practical Foundations for Programming Languages

Contenuto del libro:

Questo testo sviluppa una teoria completa dei linguaggi di programmazione basata sui sistemi di tipi e sulla semantica operativa strutturale. I concetti di linguaggio sono definiti con precisione dalla loro semantica statica e dinamica, presentando gli strumenti essenziali in modo intuitivo e rigoroso, basandosi solo sulla matematica elementare.

Questi strumenti vengono utilizzati per analizzare e dimostrare le proprietà dei linguaggi e forniscono il quadro per combinare e confrontare le caratteristiche dei linguaggi. L'ampia gamma di concetti comprende tipi di dati fondamentali come somme e prodotti, tipi polimorfi e astratti, tipi dinamici, dispatch dinamico, sottotipizzazione e tipi di raffinamento, simboli e classificazione dinamica, parallelismo e semantica dei costi, concomitanza e distribuzione.

I metodi sono direttamente applicabili all'implementazione del linguaggio, allo sviluppo di logiche per il ragionamento sui programmi e alla verifica formale di proprietà del linguaggio come la sicurezza dei tipi. Questa seconda edizione, completamente rivista, include esercizi alla fine di quasi tutti i capitoli e un nuovo capitolo sui raffinamenti di tipo.