Reconciling Abstraction with High Performance: A MetaOCaml approach
Reconciling Abstraction with High Performance: A MetaOCaml Approach lehrt den Leser, wie man typisierte Codegeneratoren schreibt, wie man sie modular gestaltet und wie man mit MetaOCaml schrittweise domänenspezifische Optimierungen einführt. Ohne Vorkenntnisse von MetaOCaml und nur mit einer grundlegenden Vertrautheit mit funktionaler Programmierung wird erklärt und illustriert, wie man eine einfache domänenspezifische Sprache (DSL) für lineare Algebra implementiert, mit Optimierungsschichten für Sparsamkeit und Speicherlayout von Matrizen und Vektoren und deren algebraischen Eigenschaften.
Reconciling Abstraction with High Performance: A MetaOCamlApproach basiert auf der schriftlichen Aufzeichnung eines Live-Tutorials, das bei mehreren Gelegenheiten gehalten wurde (zuerst bei CUFP - Commercial Users of Functional Programming 2013). Es übernimmt den praktischen Stil dieser Tutorien, der auf Live-Coding in Interaktion mit MetaOCaml und seinem Typprüfer sowie dem Publikum aufbaut.
Der Code wird Stück für Stück entwickelt, indem kleine Fragmente an den MetaOCaml-Interpreter geschickt werden, Typprobleme behoben werden, Beispielcode generiert und getestet wird, Verbesserungspunkte notiert werden und der Generator nach Bedarf angepasst wird. Die Monographie enthält viele Übungen und Hausaufgaben, die allein oder in Gruppen bearbeitet werden können.
| ISBN: | 9781680834369 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
