Repository logo
 

Staged generic programming

Published version
Peer-reviewed

Type

Article

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

Volume Title

1

Publisher

Association for Computing Machinery (ACM)