Staged generic programming
Published version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Yallop, J
Abstract
jats:pGeneric programming libraries such as Scrap Your Boilerplate eliminate the need to write repetitive code, but typically introduce significant performance overheads.</jats:p> jats:pThis leaves programmers with the regrettable choice between writing succinct but slow programs and writing tedious but efficient programs.</jats:p> jats:pApplying 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>
Description
Keywords
multi-stage programming, generic programming, metaprogramming, partial evaluation
Journal Title
Proceedings of the ACM on Programming Languages
Conference Name
Journal ISSN
2475-1421
2475-1421
2475-1421
Volume Title
1
Publisher
Association for Computing Machinery (ACM)