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:

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!

Curry Homepage | PAKCS Homepage | Paper | Library documentation | SuDoku solver (source code)

Michael Hanus
Last modified: Tue Jul 11 09:38:24 CEST 2006