Staging generic programming

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 unfortunate choice of writing succinct but slow programs or writing tedious but efficient programs. We show how to systematically transform an implementation of the Scrap Your Boilerplate library in the multi-stage programming language MetaOCaml to eliminate the overhead, making it possible to combine the benefits level abstract programming with the efficiency of low-level code.

• Type: Journal
• Year: 2016
• Where: PEPM
• Authors: Jeremy Yallop
• Keywords: PEPM 2016, Software Engineering