WUI:

Type-Oriented Construction of Web User Interfaces

WUI is a library distributed with the PAKCS programming environment for Curry that supports the high-level construction of type-safe web-oriented user interfaces. The WUI concept has the following features:

• Existing applications written in Curry can be easily equipped with a web-based interface to manipulate data of the application with a few lines of code.
• Interfaces are web-based, i.e., the data can be manipulated with standard web browsers without any specific requirements on the client side (no JavaScript, applets etc).
• Interfaces are type-safe, i.e., users can only input type-correct data.
• One or more interfaces can be embedded in web pages (provided they are implemented in Curry with the HTML library).
• Interfaces for complex data are constructed from a set of type-oriented building blocks offered by the WUI library. This technique leads to a very concise and maintainable implementation of web-based user interfaces.

The WUI concept is explained in detail in this paper. The power of the concept is demonstrated by a solver for SuDoku puzzles: the complete application (see here for its source code) consists of 12 lines of code for the solver and 9 lines of code for the web interface (which can be accessed here). If you can implement the same functionality in another programming language with a program of the same length or shorter, please let me know!