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

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.

REFERENCES

• 1: CORPORATE IEEE, Inc. Staff, IEEE Std 1178-1990, IEEE Standard for the Scheme Programming Language, IEEE Standards Office, New York, NY, 1991
• 2: Will Clinger , Anne Hartheimer , Eric Ost, Implementation strategies for continuations, Proceedings of the 1988 ACM conference on LISP and functional programming, p.124-131, July 25-27, 1988, Snowbird, Utah, United States [doi>10.1145/62678.62692]
• 3: O. Danvy, Memory allocation and higher-order functions, Papers of the Symposium on Interpreters and interpretive techniques, p.241-252, June 24-26, 1987, St. Paul, Minnesota, United States
• 4: James Duncan Davidson and Danny Coward. Java™ Servlet Specification, v2.2. SUN Microsystems, December 1999.
• 5: Matthew Daniel Fuchs , Ken Perlin, Dreme: for life in the net, 1995
• 6: Christopher T. Haynes , Daniel P. Friedman , Mitchell Wand, Continuations and coroutines, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.293-298, August 06-08, 1984, Austin, Texas, United States [doi>10.1145/800055.802046]
• 7: R. Hieb , R. Kent Dybvig , Carl Bruggeman, Representing control in the presence of first-class continuations, Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, p.66-77, June 1990, White Plains, New York, United States
• 8: John Hughes, Generalising monads to arrows, Science of Computer Programming, v.37 n.1-3, p.67-111, May 2000 [doi>10.1016/S0167-6423(99)00023-4]
• 9: Oleg Kiselyov. Implementing metcast in scheme. In Matthias Felleisen, editor, Proceedings of the Workshop on Scheme and Functional Programming, volume Rice COMP TR00-368, pages 23--25, Montréal (Canada), September 2000.
• 10: D. Ladd and J. Ramming. Programming the web: An application-oriented language for hypermedia services. In 4th International World Wide Web Conference -- WWW4, pages 567--586, Boston (Massachussetts USA), December 1995. World Wide Web Consortium.
• 11: Kurt Nørmark. Using lisp as a markup language -- the laml approach. In European Lisp User Group Meeting, Amsterdam, Holland, 1999.
• 12: Christian Queinnec. Enseignement du langage C à l'aide d'un cédérom et d'un site -- Architecture logicielle. In Colloque international -- Technologie de l'Information et de la Communication dans los Enseignements d'ingnieurs et dans l'industrie - TICE 2000, pages 93--102, Troyes (France), October 2000. CNED.
• 13: Christian Queinnec, The influence of browsers on evaluators or, continuations to program web servers, Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, p.23-33, September 2000
• 14: John C. Reynolds, The discoveries of continuations, Lisp and Symbolic Computation, v.6 n.3-4, p.233-248, Nov. 1993 [doi>10.1007/BF01019459]
• 15: Christopher Strachey , Christopher P. Wadsworth, Continuations: A Mathematical Semantics for Handling FullJumps, Higher-Order and Symbolic Computation, v.13 n.1-2, p.135-152, April 2000 [doi>10.1023/A:1010026413531]
• 16: Christopher Strachey , Christopher P. Wadsworth, Continuations: A Mathematical Semantics for Handling FullJumps, Higher-Order and Symbolic Computation, v.13 n.1-2, p.135-152, April 2000 [doi>10.1023/A:1010026413531]
• 17: Jean-François Touchette. Html thin client and transactions. Dr. Dobb's Journal, Software Tools for the Professional Programmer, 24(10):80--86, October 1999.
• 18: Mitchell Wand, Continuation-based multiprocessing, Proceedings of the 1980 ACM conference on LISP and functional programming, p.19-28, August 25-27, 1980, Stanford University, California, United States [doi>10.1145/800087.802786]