Conciliare astrazione e alte prestazioni: Un approccio MetaOCaml

Titolo originale:

Reconciling Abstraction with High Performance: A MetaOCaml approach

Contenuto del libro:

Reconciling Abstraction with High Performance: A MetaOCaml Approach insegna al lettore come scrivere generatori di codice tipizzato, come renderli modulari e come introdurre gradualmente ottimizzazioni specifiche per il dominio con MetaOCaml. Assumendo nessuna conoscenza preliminare di MetaOCaml e solo una familiarità di base con la programmazione funzionale, spiega e illustra come implementare un semplice linguaggio specifico per il dominio (DSL) per l'algebra lineare, con livelli di ottimizzazione per la sparsità e la disposizione in memoria di matrici e vettori e le loro proprietà algebriche.

Reconciling Abstraction with High Performance: A MetaOCamlApproach si basa sul resoconto scritto di un tutorial dal vivo tenuto in diverse occasioni (prima al CUFP - Commercial Users of Functional Programming 2013). Eredita lo stile pratico di quelle esercitazioni, costruito intorno alla codifica dal vivo, in interazione con MetaOCaml e il suo type checker e con il pubblico.

Sviluppa il codice pezzo per pezzo sottoponendo piccoli frammenti all'interprete MetaOCaml, correggendo i problemi di tipo, generando codice di esempio e testandolo, annotando i punti di miglioramento e regolando il generatore come necessario. La monografia include molti esercizi e progetti da svolgere a casa da soli o in gruppo.