Sciweavers

Share
ICFP
2007
ACM

Adding delimited and composable control to a production programming environment

11 years 12 months ago
Adding delimited and composable control to a production programming environment
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advantages, how the operators explain each other (or don't), and other aspects of the operators' existence. Production programming languages, however, do not support these operators, partly because their relationship to existing and demonstrably useful constructs--such as exceptions and dynamic binding--remains relatively unexplored. In this paper, we report on our effort of translating the theory of delimited and composable control into a viable implementation for a production system. The report shows how this effort involved a substantial design element, including work with a formal model, as well as significant practical exploration and engineering. The resulting version of PLT Scheme incorporates the expressive combination of delimited and composable control alongside dynamic-wind, dynamic binding, an...
Matthew Flatt, Gang Yu, Robert Bruce Findler, Matt
Added 13 Dec 2009
Updated 13 Dec 2009
Type Conference
Year 2007
Where ICFP
Authors Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen
Comments (0)
books