Sciweavers

PEPM
2016
ACM

Staging beyond terms: prospects and challenges

7 years 11 months ago
Staging beyond terms: prospects and challenges
Staging is a program generation paradigm with a clean, wellinvestigated semantics which statically ensures that the generated code is always well-typed and well-scoped. Staging is often used for specializing programs to the known properties or parts of data to improve efficiency, but so far it has been limited to generating terms. This short paper describes our ongoing work on extending staging, with its strong safety guarantees, to generation of nonterms, focusing on ML-style modules. The purpose is to map out the promises and challenges, then to pose a question to solicit the community’s expertise in evaluating how essential our extensions are for the purpose of applying staging beyond the realm of terms. We demonstrate our extensions’ use in specializing functor applications to eliminate its (currently large) overhead in OCaml. We explain the challenges that those extensions bring in and identify a promising line of attack. Unexpectedly, however, it turns out that we can avoid...
Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama
Added 08 Apr 2016
Updated 08 Apr 2016
Type Journal
Year 2016
Where PEPM
Authors Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama
Comments (0)