Hop: a language for programming the web 2.0

ABSTRACT

Hop is a new higher-order language designed for programming interactive web applications such as web agendas, web galleries, music players, etc. It exposes a programming model based on two computation levels. The first one is in charge of executing the logic of an application while the second one is in charge of executing the graphical user interface. Hop separates the logic and the graphical user interface but it packages them together and it supports strong collaboration between the two engines. The two execution flows communicate through function calls and event loops. Both ends can initiate communications.The paper presents the main constructions of Hop. It sketches its implementation and it presents an example of a simple web application written in Hop.

REFERENCES

• 1: Claus Brabrand , Anders Møller , Anders Sandholm , Michael I. Schwartzbach, A runtime system for interactive Web services, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.31 n.11-16, p.1391-1401, May 17, 1999
• 2: Cardelli, L. - Obliq A Language with Distributed Scope - 122, Digital Equipment Corporation, Systems Research, Palo Alto, CA, 1994.
• 3: Epardaud, S. - Mobile Reactive Programming in ULM - Utah, USA, Sep, 2004.
• 4: Fielding, R. et al. - Hypertext Transfer Protocol - RFC 2616, The Internet Society, 1999.
• 5: Germain, G. and Monnier, S. and Feeley, M. - Termite: a Lisp for Distributed Computing - 2nd European LISP and Scheme Workshop, Glasgow, UK, 2005.
• 6: Graunke, P. and Findler, R. and Krishnamurthi, S. and Felleisen, M. - Automatically restructuring programs for the Web - 2004.
• 7: Graunke, P. and Findler, R. B., and Krishnamurthi, S. and Felleisen, M. - Modeling Web Interactions - European Symposium on Programming, Poland, 2003.
• 8: Michael Hanus, High-Level Server Side Web Scripting in Curry, Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages, p.76-92, March 11-12, 2001
• 9: Kelsey, R. and Clinger, W. and Rees, J. - The Revised(5) Report on the Algorithmic Language Scheme - Higher-Order and Symbolic Computation, 11(1), Sep, 1998.
• 10: Shriram Krishnamurthi, The CONTINUE Server (or, How I Administered PADL 2002 and 2003), Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages, p.2-16, January 13-14, 2003
• 11: Erik Meijer, Server side web scripting in Haskell, Journal of Functional Programming, v.10 n.1, p.1-18, January 2000 [doi>10.1017/S0956796899003561]
• 12: 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
• 13: Anders Sandholm , Michael I. Schwartzbach, A type system for dynamic Web documents, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.290-301, January 19-21, 2000, Boston, MA, USA [doi>10.1145/325694.325733]
• 14: Peter Sewell , James J. Leifer , Keith Wansbrough , Francesco Zappa Nardelli , Mair Allen-Williams , Pierre Habouzit , Viktor Vafeiadis, Acute: high-level programming language design for distributed computation, Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, September 26-28, 2005, Tallinn, Estonia
• 15: World Wide Web Consortium - Cascading Style Sheets, level 2 CSS2 Specification - REC-CSS2-19980512, W3C Recommendation, May, 1998.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications
          Subjects: Applicative (functional) languages

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications
          Subjects: Design languages; Concurrent, distributed, and parallel languages

General Terms:
Design, Languages

Keywords:
functional programming, web programming