Argomenti avanzati su tipi e linguaggi di programmazione

Recensioni dei lettori

Il libro è considerato essenziale per i ricercatori e gli appassionati di linguaggi di programmazione, in quanto offre approfondimenti unici su argomenti complessi non trattati altrove.

⬤ Testo obbligatorio per i ricercatori
⬤ scritto da esperti di spicco
⬤ tratta argomenti non presenti in altra letteratura
⬤ essenziale per comprendere la programmazione a tipi dipendenti
⬤ fornisce una discussione approfondita sui tipi lineari e sul polimorfismo di riga.

Pubblico potenzialmente limitato, in quanto potrebbe essere troppo tecnico per i principianti; alcuni argomenti sono di nicchia e potrebbero non interessare tutti i programmatori.

(basato su 4 recensioni dei lettori)

Titolo originale:

Advanced Topics in Types and Programming Languages

Contenuto del libro:

Un'introduzione completa e accessibile a una serie di idee chiave sui sistemi di tipi per i linguaggi di programmazione.

Lo studio dei sistemi di tipi per i linguaggi di programmazione tocca oggi molte aree dell'informatica, dalla progettazione e implementazione dei linguaggi all'ingegneria del software, alla sicurezza delle reti, ai database e all'analisi dei sistemi concorrenti e distribuiti. Questo libro offre introduzioni accessibili alle idee chiave del campo, con contributi di esperti su ogni argomento.

Gli argomenti trattati includono analisi precise dei tipi, che estendono i sistemi di tipi semplici per dare loro una migliore presa sul comportamento a tempo di esecuzione dei sistemi; sistemi di tipi per linguaggi di basso livello; applicazioni dei tipi al ragionamento sui programmi per computer; teoria dei tipi come quadro di riferimento per la progettazione di sistemi di moduli sofisticati; e tecniche avanzate di inferenza dei tipi in stile ML.

Advanced Topics in Types and Programming Languages si basa su Types and Programming Languages di Benjamin Pierce (MIT Press, 2002); la maggior parte dei capitoli dovrebbe essere accessibile ai lettori che hanno familiarità con le notazioni e le tecniche di base della semantica operativa e dei sistemi di tipi - il materiale trattato nella prima metà del libro precedente.

Advanced Topics in Types and Programming Languages può essere utilizzato in classe e come risorsa per i professionisti. La maggior parte dei capitoli include esercizi, di difficoltà variabile da una rapida verifica della comprensione a estensioni impegnative, molti dei quali con soluzioni.