Reconciling Abstraction with High Performance: A MetaOCaml approach
Reconciling Abstraction with High Performance: A MetaOCaml Approach megtanítja az olvasót arra, hogyan írjon tipizált kódgenerátorokat, hogyan tegye azokat modulárissá, és hogyan vezesse be fokozatosan a MetaOCaml segítségével a terület-specifikus optimalizálásokat. A MetaOCaml előzetes ismereteit és csak a funkcionális programozás alapszintű ismeretét feltételezve elmagyarázza és bemutatja, hogyan lehet egy egyszerű, lineáris algebrai szakterület-specifikus nyelvet (DSL) megvalósítani, a mátrixok és vektorok ritkaságára és memóriaelrendezésére, valamint algebrai tulajdonságaira vonatkozó optimalizálási rétegekkel.
A Reconciling Abstraction with High Performance: A MetaOCamlApproach egy több alkalommal (először a CUFP - Commercial Users of Functional Programming 2013 rendezvényen) tartott élő bemutató írásbeli feljegyzésén alapul. Megörökölte az említett bemutatók gyakorlatias stílusát, amely az élő kódolás köré épül, a MetaOCaml-lal és annak típusellenőrzőjével, valamint a közönséggel való interakcióban.
A kódot darabról darabra fejleszti úgy, hogy kis töredékeket küld be a MetaOCaml-értelmezőnek, kijavítja a típusproblémákat, mintakódot generál és tesztel, megjegyzi a javítandó pontokat, és szükség szerint módosítja a generátort. A monográfia számos gyakorlatot és házi feladatot tartalmaz, amelyeken egyedül vagy csoportosan dolgozhatunk.