Libro · 2008 · Franklyn Turbak, David Gifford

Design Concepts in Programming Languages

Le idee chiave nel design e nell'implementazione dei linguaggi di programmazione sono spiegate utilizzando un framework semplice e conciso; un'introduzione completa adatta per essere utilizzata come libro di testo o come riferimento per i ricercatori. Oggi sono in uso centinaia di linguaggi di programmazione: linguaggi di scripting per il commercio su Internet, strumenti di programmazione per interfacce utente, macro per fogli di calcolo, linguaggi di specifica del formato delle pagine e molti altri. Progettare un linguaggio di programmazione è un'attività di metaprogrammazione che presenta alcune somiglianze con la programmazione in un linguaggio normale, con chiarezza e semplicità ancora più importanti rispetto alla programmazione ordinaria. Questo testo completo utilizza un framework semplice e conciso per insegnare le idee chiave nel design e nell'implementazione dei linguaggi di programmazione. L'approccio unico del libro si basa su una famiglia di linguaggi pedagogici sintatticamente semplici che consentono agli studenti di esplorare i concetti dei linguaggi di programmazione in modo sistematico. Prende come premessa e punto di partenza l'idea che quando i comportamenti del linguaggio diventano incredibilmente complessi, la descrizione dei comportamenti deve essere incredibilmente semplice. Il libro presenta un insieme di strumenti (un metalinguaggio matematico, sintassi astratta, semantica operativa e denotazionale) e li utilizza per esplorare un insieme completo di dimensioni del design dei linguaggi di programmazione, comprese le semantiche dinamiche (naming, stato, controllo, dati), semantiche statiche (tipi, ricostruzione dei tipi, polimorfismo, effetti) e pragmatica (compilazione, garbage collection). I numerosi esempi e esercizi offrono agli studenti opportunità per applicare le idee fondamentali spiegate nel testo. Argomenti specializzati e codice che implementa molti degli algoritmi e dei metodi di compilazione nel libro possono essere trovati sul sito web del libro, insieme a materiale aggiuntivo come una sezione sulla concorrenza e le dimostrazioni dei teoremi nel testo. Il libro è adatto come testo per un corso introduttivo di laurea o per un corso avanzato di linguaggi di programmazione; può anche servire come riferimento per ricercatori e professionisti.