Reconciliando abstracción con alto rendimiento: Un enfoque MetaOCaml

Título original:

Reconciling Abstraction with High Performance: A MetaOCaml approach

Contenido del libro:

Reconciling Abstraction with High Performance: A MetaOCaml Approach enseña al lector cómo escribir generadores de código tipado, cómo hacerlos modulares y cómo introducir gradualmente optimizaciones específicas del dominio con MetaOCaml. Suponiendo que no se tienen conocimientos previos de MetaOCaml y que sólo se tiene una familiaridad básica con la programación funcional, explica e ilustra cómo implementar un lenguaje de dominio específico (DSL) sencillo para álgebra lineal, con capas de optimizaciones para la dispersión y la disposición en memoria de matrices y vectores, y sus propiedades algebraicas.

Reconciling Abstraction with High Performance: A MetaOCamlApproach se basa en el registro escrito de un tutorial en directo impartido en varias ocasiones (primero en CUFP - Commercial Users of Functional Programming 2013). Hereda el estilo práctico de esos tutoriales, construido en torno a la codificación en vivo, en interacción con el MetaOCaml y su verificador de tipos y la audiencia.

Desarrolla código pieza a pieza enviando pequeños fragmentos al intérprete MetaOCaml, corrigiendo problemas de tipo, generando código de ejemplo y probándolo, anotando los puntos de mejora y ajustando el generador según sea necesario. La monografía incluye muchos ejercicios y proyectos de deberes para trabajar solo o en grupo.