Inverting back the inversion of control or, continuations versus page-centric programming

Christian Queinnec 1
1 SPI - Sémantiques, preuves et implantation
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Our thesis is that programming web applications with continuations is superior to the current page-centric technology. A continuation is a program-level manageable value representing the rest of the computation of the program. "What to do next" is precisely what has to be explicitly encoded in order to program non trivial web interactions. Continuations allow web applications to be written in direct style that is, as a single program that displays forms and reads form submission since continuations automatically capture everything (control point, lexical bindings, etc.) that is needed to resume the computation. Programming is therefore safer, easier and more re-usable.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01199504
Contributor : Lip6 Publications <>
Submitted on : Tuesday, September 15, 2015 - 2:58:40 PM
Last modification on : Thursday, March 21, 2019 - 1:06:58 PM

Identifiers

Citation

Christian Queinnec. Inverting back the inversion of control or, continuations versus page-centric programming. ACM SIGPLAN Notices, Association for Computing Machinery (ACM), 2003, 38 (2), pp.57-64. ⟨10.1145/772970.772977⟩. ⟨hal-01199504⟩

Share

Metrics

Record views

78