WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms

  • Peter Thiemann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2257)


The common gateway interface (CGI) is one of the prevalent methods to provide dynamic contents on the Web. Since it is cumbersome to use in its raw form, there are many libraries that make CGI programming easier.

WASH/CGI is a Haskell library for server-side Web scripting. Its implementation relies on CGI, but its use avoids most of CGI’s drawbacks. It incorporates the concept of a session, provides a typed, compositional approach to constructing interaction elements (forms), and relies on callbacks to specify control flow. From a programmer’s perspective, programming WASH/CGI is like programming a graphical user interface (GUI), where the layout is specified using HTML via a novel monadic interface.


Haskell Monads CGI Programming 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 2.
    Haskell 98, a non-strict, purely functional language. (1998)
  2. 3.
    Meijer, E.: Server-side web scripting with Haskell. Journal of Functional Programming 10 (2000) 1–18CrossRefMathSciNetGoogle Scholar
  3. 4.
    Jones, M. P.: Functional programming with overloading and higher-order polymorphism. In: Advanced Functional Programming. Volume 925 of Lecture Notes in Computer Science. Springer-Verlag (1995) 97–136Google Scholar
  4. 5.
    Hughes, J.: Generalising monads to arrows. Science of Computer Programming 37 (2000) 67–111zbMATHCrossRefMathSciNetGoogle Scholar
  5. 6.
    Hughes, J. Private communication (2000)Google Scholar
  6. 7.
    Hanus, M.: High-level server side Web scripting in Curry. In: Practical Aspects of Declarative Languages, Proceedings of the Third International Workshop, PADL’01. Lecture Notes in Computer Science, Las Vegas, NV, USA, Springer-Verlag (2001)Google Scholar
  7. 8.
    Graunke, P., Krishnamurthi, S., Hoeven, S. V. D., Felleisen, M.: Programming the Web with high-level programming languages. In Sands, D., ed.: Proc. 10th European Symposium on Programming. Lecture Notes in Computer Science, Genova, Italy, Springer-Verlag (2001) 122–136Google Scholar
  8. 9.
    Queinnec, C.: The influence of browsers on evaluators or, continuations to program Web servers. [25] 23–33Google Scholar
  9. 10.
    Graunke, P., Findler, R. B., Krishnamurthi, S., Felleisen, M.: Automatically restructuring programs for the Web. In: Proceedings of ASE-2001: The 16th IEEE International Conference on Automated Software Engineering, San Diego, USA, IEEE CS Press (2001)Google Scholar
  10. 11.
    Sandholm, A., Schwartzbach, M. I.: A type system for dynamic web documents. In Reps, T., ed.: Proc. 27th Annual ACM Symposium on Principles of Programming Languages, Boston, MA, USA, ACM Press (2000) 290–301Google Scholar
  11. 12.
    Brabrand, C., Møller, A., Sandholm, A., Schwartzbach, M. I.: A runtime system for interactive web services. Journal of Computer Networks (1999)Google Scholar
  12. 13.
    Ladd, D. A., Ramming, J. C.: Programming the Web: An application-oriented language for hypermedia service programming, World Wide Web Consortium (1995) 567–586Google Scholar
  13. 14.
    Atkinson, D., Ball, T., Benedikt, M., Bruns, G., Cox, K., Mataga, P., Rehor, K.: Experience with a domain specific language for form-based services. In: Conference on Domain-Specific Languages, Santa Barbara, CA, USENIX (1997)Google Scholar
  14. 15.
    Levy, M. R.: Web programming in Guide. Software-Practice & Experience 28 (1998) 1581–1603CrossRefGoogle Scholar
  15. 16.
    Carlsson, M., Hallgren, T.: FUDGETS: A graphical interface in a lazy functional language. In Arvind, ed.: Proc. Functional Programming Languages and Computer Architecture 1993, Copenhagen, Denmark, ACM Press, New York (1993) 321–330Google Scholar
  16. 17.
    Vullinghs, T., Tuijnman, D., Schulte, W.: Lightweight GUIs for functional programming. In Swierstra, D., Hermenegildo, M., eds.: International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP’ 95). Number 982 in Lecture Notes in Computer Science, Utrecht, The Netherlands,Springer-Verlag (1995) 341–356Google Scholar
  17. 18.
    Finne, S., Peyton Jones, S.: Composing Haggis. In: Proc. 5th Eurographics Workshop on Programming Paradigms in Graphics, Maastricht, NL (1995)Google Scholar
  18. 19.
    Sage, M.: FranTk-a declarative GUI language for Haskell. [25] 106–117Google Scholar
  19. 20.
    Thiemann, P.: Modeling HTML in Haskell. In: Practical Aspects of Declarative Languages, Proceedings of the Second International Workshop, PADL’00. Number 1753 in Lecture Notes in Computer Science, Boston, Massachusetts, USA (2000) 263–277Google Scholar
  20. 21.
    Thiemann, P.: A typed representation for HTML and XML in Haskell. Journal of Functional Programming (2001) To appear.Google Scholar
  21. 22.
    Peligrí-Llopart, E., Cable, L.: Java Server Pages Specification. (1999)
  22. 23.
    Meijer, E., van Velzen, D.: Haskell Server Pages, functional programming and the battle for the middle tier. In: Draft proceedings of the 2000 ACM SIGPLAN Haskell Workshop, Montreal, Canada (2000) 23–33Google Scholar
  23. 24.
    Peyton Jones, S., Gordon, A., Finne, S.: Concurrent Haskell. In: Conference Record of POPL’ 96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, USA (1996) 295–308Google Scholar
  24. 25.
    Wadler, P., ed.: International Conference on Functional Programming. In Wadler, P., ed.: Proc. International Conference on Functional Programming 2000, Montreal, Canada, ACM Press, New York (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Peter Thiemann
    • 1
  1. 1.Universität FreiburgFreiburgGermany

Personalised recommendations