Titre original :
Reconciling Abstraction with High Performance: A MetaOCaml approach
Contenu du livre :
L'ouvrage Réconcilier l'abstraction et la haute performance : une approche MetaOCaml enseigne au lecteur comment écrire des générateurs de code typés, comment les rendre modulaires, et comment introduire progressivement des optimisations spécifiques à un domaine avec MetaOCaml. En ne supposant aucune connaissance préalable de MetaOCaml et seulement une familiarité de base avec la programmation fonctionnelle, il explique et illustre comment mettre en œuvre un simple langage spécifique au domaine (DSL) pour l'algèbre linéaire, avec des couches d'optimisations pour l'espacement et la disposition de la mémoire des matrices et des vecteurs, ainsi que leurs propriétés algébriques.
Reconciling Abstraction with High Performance : A MetaOCamlApproach est basé sur la trace écrite d'un tutoriel donné à plusieurs reprises (d'abord au CUFP - Commercial Users of Functional Programming 2013). Il hérite du style pratique de ces tutoriels, construit autour d'un codage en direct, en interaction avec MetaOCaml et son vérificateur de type, ainsi qu'avec l'auditoire.
Il développe le code pièce par pièce en soumettant de petits fragments à l'interpréteur MetaOCaml, en corrigeant les problèmes de type, en générant un exemple de code et en le testant, en notant les points d'amélioration et en ajustant le générateur si nécessaire. La monographie comprend de nombreux exercices et projets à réaliser seul ou en groupe.
Autres informations sur le livre :
| ISBN : | 9781680834369 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
