Eliom is a framework for programming Web sites and client/server Web applications. It uses very new concepts making programming very different from all other Web programming tools, and allowing to write a complex Web site in very few lines of code.
Integrated client and server side programming with automatic bidirectional communication
Mixes traditional Web interaction with very dynamic client side features
Dynamic creation of services
Static checking of XHTML (using OCaml or OCamlDuce)
