Generic programming libraries such as Scrap Your Boilerplate eliminate the need to write repetitive code, but typically introduce significant performance overheads.
This leaves programmers with the regrettable choice between writing succinct but slow programs and writing tedious but efficient programs.
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.
Conference DayTue 5 SepDisplayed time zone: Belfast change
16:40 - 17:50
|Compiling to Categories|
Conal ElliottTarget, USADOI
François PottierInria, FranceDOI
|Staged Generic Programming|
Jeremy YallopUniversity of Cambridge, UKDOI Pre-print