Zosúladenie abstrakcie s vysokým výkonom: A MetaOCaml approach

Pôvodný názov:

Reconciling Abstraction with High Performance: A MetaOCaml approach

Obsah knihy:

Reconciling Abstraction with High Performance: A MetaOCaml Approach naučí čitateľa, ako písať generátory typizovaného kódu, ako ich urobiť modulárnymi a ako postupne zavádzať doménovo špecifické optimalizácie pomocou MetaOCamlu. Nepredpokladá žiadne predchádzajúce znalosti jazyka MetaOCaml a len základnú znalosť funkcionálneho programovania, vysvetľuje a ilustruje, ako implementovať jednoduchý doménovo špecifický jazyk (DSL) pre lineárnu algebru s vrstvami optimalizácií pre riedkosť a rozloženie pamäte matíc a vektorov a ich algebraické vlastnosti.

Príručka Reconciling Abstraction with High Performance: A MetaOCamlApproach je založená na písomnom zázname živej výučby, ktorá bola prednesená pri viacerých príležitostiach (prvýkrát na CUFP - Commercial Users of Functional Programming 2013). Je dedičom praktického štýlu týchto výučbových kurzov, postavených na živom kódovaní, v interakcii s MetaOCamlom a jeho kontrolou typov a publikom.

Vyvíja kód kúsok po kúsku tak, že interpretu MetaOCaml predkladá malé fragmenty, opravuje typové problémy, generuje vzorový kód a testuje ho, zaznamenáva body zlepšenia a podľa potreby upravuje generátor. Monografia obsahuje množstvo cvičení a domácich projektov na samostatnú prácu alebo prácu v skupinách.