Ocsigen

• A multi-tier extension of OCaml, allowing to implement both the server and client parts of a Web and mobile application as a single program.
• A module named Eliom for the creation of dynamic web sites using high-level abstractions. Its goal is to allow the implementation of complex behaviour using only a handful of lines, while ensuring correctness thanks to strong static typing. In particular, programmers may choose a page generation mode which enforces the output to comply with the recommendations of the W3C. This feature relies heavily on the strong static typing features of the OCaml language. Eliom allows for the entire application to be written in OCaml; compiling part of the code to JavaScript so as to be executed inside a Web Browser. Client-server bidirectional communication is abstracted away by Eliom. Data exchange between client and server is facilitated by the fact that both are implemented using the same programming language and therefore the same data types.
• A JavaScript compiler from OCaml to JavaScript named js_of_ocaml. It makes it possible to run OCaml programs in a Web browser, with portability and without having to install anything. The compilator takes as input language an OCaml bytecode, that is a compiled OCaml program. It allows you to use existing OCaml libraries whose source code isn't available.
• A complete and extensible Web server, supporting features such as CGI, a reverse proxy, data compression, and access control. Extensions for this server may be written in Ocaml.
• Lwt, a for handling concurrency.

Users