Eliom.pdf

Eliom is a dialect of OCaml for Web programming, allowing both server and client-side code in a single program. It enables tierless Web programming, providing encapsulation and composability advantages, and benefits from OCaml's mature ecosystem and rich type system. Eliom's language extensions enable a new paradigm for Web programming, allowing for simple type-safe communication and efficient one-way server-to-client communication. The language is part of the Ocsigen project, which provides a comprehensive set of tools and libraries for developing Web applications in OCaml. Eliom's compiler produces server and client-code that retains OCaml's performance characteristics, and all OCaml development tools adapt to Eliom with small-scale modifications or without any modifications at all. Key features of Eliom include:

Tierless Web programming
Encapsulation and composability advantages
Simple type-safe communication
Efficient one-way server-to-client communication
Integration with OCaml's ecosystem and type system
Part of the Ocsigen project
* Compiler produces high-performance server and client-code

Eliom's design allows for building complex libraries easily, safely, and in a composable manner, and its programming paradigm enables expressing complex widgets with client-server behaviors in few lines of code. The language is suitable for developing rich Web applications with complex behaviors, such as notifications and messaging, and provides guarantees about various aspects of client- and server-side Web programming.