Reconcilierea abstracției cu performanța ridicată: O abordare MetaOCaml

Titlul original:

Reconciling Abstraction with High Performance: A MetaOCaml approach

Conținutul cărții:

Reconciling Abstraction with High Performance: A MetaOCaml Approach învață cititorul cum să scrie generatoare de cod tipizate, cum să le facă modulare și cum să introducă treptat optimizări specifice domeniului cu MetaOCaml. Presupunând că nu există cunoștințe anterioare despre MetaOCaml și doar o familiaritate de bază cu programarea funcțională, se explică și se ilustrează modul de implementare a unui limbaj simplu specific domeniului (DSL) pentru algebra liniară, cu straturi de optimizări pentru sparitatea și dispunerea în memorie a matricelor și vectorilor, precum și proprietățile lor algebrice.

Reconciling Abstraction with High Performance: A MetaOCamlAbordare se bazează pe înregistrarea scrisă a unui tutorial live livrat în mai multe ocazii (primul la CUFP - Commercial Users of Functional Programming 2013). Moștenește stilul hands-on al acelor tutoriale, construit în jurul codării live, în interacțiune cu MetaOCaml și verificatorul său de tip și cu publicul.

Ea dezvoltă codul bucată cu bucată, prin trimiterea de fragmente mici interpretorului MetaOCaml, remedierea problemelor de tip, generarea unui cod eșantion și testarea acestuia, notarea punctelor de îmbunătățire și ajustarea generatorului, după caz. Monografia include numeroase exerciții și proiecte pentru acasă la care se poate lucra singur sau în grup.