Type-Oriented Construction of Web User Interfaces
WUI is a
library distributed with the
PAKCS programming environment for
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
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
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
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
If you can implement the same functionality in another
programming language with a program of the same length or shorter,
please let me know!
Curry Homepage |
PAKCS Homepage |
Library documentation |
SuDoku solver (source code)
Last modified: Tue Jul 11 09:38:24 CEST 2006