Generic Editors for the World Wide Web

In these lecture notes we present a novel toolkit to program web applications that have dynamic, complex behavior based on interconnect forms. This toolkit is the iDataToolkit. We demonstrate that it allows programmers to create web applications on a level of abstraction that is comparable with ‘ordinary’ functional style programs. By this we mean that programmers can develop data structures and functions in the usual way. From the data structures the iDataToolkit is able to generate forms that can be used in a web application. It does this by making use of advanced programming concepts such as generic programming. The programmer need not be aware of this.

[1]  Rinus Plasmeijer,et al.  Concurrent Clean Language Report - version 1.3 , 1998 .

[2]  John Hughes,et al.  Generalising monads to arrows , 2000, Sci. Comput. Program..

[3]  Marinus J. Plasmeijer,et al.  A Generic Programming Extension for Clean , 2001, IFL.

[4]  Ralf Hinze,et al.  A new approach to generic functional programming , 2000, POPL '00.

[5]  Matthias Felleisen,et al.  Automatically Restructuring Programs for the Web , 2004, Automated Software Engineering.

[6]  Michael Hanus,et al.  High-Level Server Side Web Scripting in Curry , 2001, PADL.

[7]  Marko C. J. D. van Eekelen,et al.  Compositional Model-Views with Generic Graphical User Interfaces , 2004, PADL.

[8]  Stephen Travis Pope,et al.  A cookbook for using the model-view controller user interface paradigm in Smalltalk-80 , 1988 .

[9]  John Hughes,et al.  Report on the Programming Language Haskell 98 , 1999 .

[10]  Marko C. J. D. van Eekelen,et al.  Functional Programming and Parallel Graph Rewriting , 1993 .

[11]  Peter Thiemann,et al.  Under Consideration for Publication in J. Functional Programming a Typed Representation for Html and Xml Documents in Haskell , 2022 .

[12]  Claus Brabrand,et al.  The bigwig Project , 2000 .

[13]  Claus Brabrand,et al.  PowerForms: Declarative client-side form field validation , 2004, World Wide Web.

[14]  Marinus J. Plasmeijer,et al.  Theorem Proving for functional Programmers - Sparkle: A Functional Theorem Prover , 2001 .

[15]  Marko C. J. D. van Eekelen,et al.  Theorem Proving for Functional Programmers , 2001, IFL.

[16]  Michael Benedikt,et al.  Experience with a Domain Specific Language for Form-based Services , 1997, DSL.

[17]  Ken Friis Larsen,et al.  Typing XHTML Web Applications in ML , 2004, PADL.

[18]  Simon L. Peyton Jones,et al.  Derivable Type Classes , 2001, Haskell.

[19]  Colin Runciman,et al.  Haskell and XML: generic combinators or type-based translation? , 1999, ICFP '99.

[20]  Erik Meijer.  Server side web scripting in Haskell , 2000, J. Funct. Program..

[21]  Peter Thiemann,et al.  WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms , 2002, PADL.

[22]  Johan Jeuring,et al.  UUXML: A Type-Preserving XML Schema-Haskell Data Binding , 2004, PADL.

[23]  Christian Queinnec,et al.  The influence of browsers on evaluators or, continuations to program web servers , 2000, ICFP '00.