Staged generic programming

Abstract

<jats:p>Generic programming libraries such as Scrap Your Boilerplate eliminate the need to write repetitive code, but typically introduce significant performance overheads.</jats:p> <jats:p>This leaves programmers with the regrettable choice between writing succinct but slow programs and writing tedious but efficient programs.</jats:p> <jats:p>Applying structured multi-stage programming techniques transforms Scrap Your Boilerplate from an inefficient library into a typed optimising code generator, bringing its performance in line with hand-written code, and so combining high-level programming with uncompromised performance.</jats:p>