Delimited dynamic binding

Oleg Kiselyov, Chung Chieh Shan, Amr Sabry

Research output: Chapter in Book/Report/Conference proceedingConference contribution

33 Citations (Scopus)

Abstract

Dynamic binding and delimited control are useful together in many settings, including Web applications, database cursors, and mobile code. We examine this pair of language features to show that the semantics of their interaction is ill-defined yet not expressive enough for these uses. We solve this open and subtle problem. We formalise a typed language DB+DC that combines a calculus DB of dynamic binding and a calculus DC of delimited control. We argue from theoretical and practical points of view that its semantics should be based on delimited dynamic binding: capturing a delimited continuation closes over part of the dynamic environment, rather than all or none of it; reinstating the captured continuation supplements the dynamic environment, rather than replacing or inheriting it. We introduce a type- and reduction-preserving translation from DB + DC to DC, which proves that delimited control macro-expresses dynamic binding. We use this translation to implement DB + DC in Scheme, OCaml, and Haskell. We extend DB + DC with mutable dynamic variables and a facility to obtain not only the latest binding of a dynamic variable but also older bindings. This facility provides for stack inspection and (more generally) folding over the execution context as an inductive data structure.

Original languageEnglish
Title of host publicationICFP'06 - Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming
Pages26-37
Number of pages12
DOIs
Publication statusPublished - 2006
EventICFP'06 - Eleventh ACM SIGPLAN International Conference on Functional Programming - Portland, OR, United States
Duration: 2006 Sep 162006 Sep 21

Publication series

NameProceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
Volume2006

Other

OtherICFP'06 - Eleventh ACM SIGPLAN International Conference on Functional Programming
CountryUnited States
CityPortland, OR
Period06/9/1606/9/21

Keywords

  • Delimited continuations
  • Dynamic binding
  • Monads

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Delimited dynamic binding'. Together they form a unique fingerprint.

Cite this