Pogodzenie abstrakcji z wysoką wydajnością: A MetaOCaml approach

Oryginalny tytuł:

Reconciling Abstraction with High Performance: A MetaOCaml approach

Zawartość książki:

Reconciling Abstraction with High Performance: A MetaOCaml Approach uczy czytelnika, jak pisać typowane generatory kodu, jak uczynić je modułowymi i jak stopniowo wprowadzać optymalizacje specyficzne dla domeny za pomocą MetaOCaml. Zakładając brak wcześniejszej znajomości MetaOCaml i tylko podstawową znajomość programowania funkcjonalnego, wyjaśnia i ilustruje, jak zaimplementować prosty język specyficzny dla domeny (DSL) dla algebry liniowej, z warstwami optymalizacji dla rzadkości i układu pamięci macierzy i wektorów oraz ich właściwości algebraicznych.

Reconciling Abstraction with High Performance: A MetaOCamlApproach opiera się na pisemnym zapisie samouczka prowadzonego na żywo przy kilku okazjach (po raz pierwszy na CUFP - Commercial Users of Functional Programming 2013). Dziedziczy praktyczny styl tych samouczków, zbudowany wokół kodowania na żywo, w interakcji z MetaOCaml i jego sprawdzaniem typów oraz publicznością.

Rozwija kod kawałek po kawałku, przesyłając małe fragmenty do interpretera MetaOCaml, naprawiając problemy z typami, generując przykładowy kod i testując go, odnotowując punkty poprawy i dostosowując generator w razie potrzeby. Monografia zawiera wiele ćwiczeń i zadań domowych, nad którymi można pracować samodzielnie lub w grupach.